1 // SPDX-License-Identifier: GPL-2.0
3 #include <linux/refcount.h>
5 refcount_t rust_helper_REFCOUNT_INIT(int n)
7 return (refcount_t)REFCOUNT_INIT(n);
10 void rust_helper_refcount_inc(refcount_t *r)
15 bool rust_helper_refcount_dec_and_test(refcount_t *r)
17 return refcount_dec_and_test(r);