rcu.c

 1// SPDX-License-Identifier: GPL-2.0
 2
 3#include <linux/rcupdate.h>
 4
 5void rust_helper_rcu_read_lock(void)
 6{
 7	rcu_read_lock();
 8}
 9
10void rust_helper_rcu_read_unlock(void)
11{
12	rcu_read_unlock();
13}