1// SPDX-License-Identifier: GPL-2.0
 2
 3#include <linux/refcount.h>
 4
 5refcount_t rust_helper_REFCOUNT_INIT(int n)
 6{
 7	return (refcount_t)REFCOUNT_INIT(n);
 8}
 9
10void rust_helper_refcount_inc(refcount_t *r)
11{
12	refcount_inc(r);
13}
14
15bool rust_helper_refcount_dec_and_test(refcount_t *r)
16{
17	return refcount_dec_and_test(r);
18}