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