barrier.c

 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}