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