refcount.c

 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_set(refcount_t *r, int n)
11{
12	refcount_set(r, n);
13}
14
15void rust_helper_refcount_inc(refcount_t *r)
16{
17	refcount_inc(r);
18}
19
20void rust_helper_refcount_dec(refcount_t *r)
21{
22	refcount_dec(r);
23}
24
25bool rust_helper_refcount_dec_and_test(refcount_t *r)
26{
27	return refcount_dec_and_test(r);
28}