1// SPDX-License-Identifier: GPL-2.0
2
3#include <asm/barrier.h>
4
5void rust_helper_smp_mb(void)
6{
7 smp_mb();
8}
9
10void rust_helper_smp_wmb(void)
11{
12 smp_wmb();
13}
14
15void rust_helper_smp_rmb(void)
16{
17 smp_rmb();
18}
19

source code of linux/rust/helpers/barrier.c