// SPDX-License-Identifier: GPL-2.0 #include <linux/refcount.h> refcount_t rust_helper_REFCOUNT_INIT(int n){	return (refcount_t)REFCOUNT_INIT(n);} void rust_helper_refcount_inc(refcount_t *r){	refcount_inc(r);} bool rust_helper_refcount_dec_and_test(refcount_t *r){	return refcount_dec_and_test(r);}