rust/helpers/rcu.c


1
2
3
4
5
6
7
8
9
10
11
12
13

// SPDX-License-Identifier: GPL-2.0

#include <linux/rcupdate.h>

__rust_helper void rust_helper_rcu_read_lock(void)
{
	rcu_read_lock();
}

__rust_helper void rust_helper_rcu_read_unlock(void)
{
	rcu_read_unlock();
}