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