smp_mb__after_spinlock
#ifndef smp_mb__after_spinlock
smp_mb__after_spinlock();
KCSAN_EXPECT_READ_BARRIER(smp_mb__after_spinlock(), true);
KCSAN_EXPECT_WRITE_BARRIER(smp_mb__after_spinlock(), true);
KCSAN_EXPECT_RW_BARRIER(smp_mb__after_spinlock(), true);
KCSAN_CHECK_READ_BARRIER(smp_mb__after_spinlock());
KCSAN_CHECK_WRITE_BARRIER(smp_mb__after_spinlock());
KCSAN_CHECK_RW_BARRIER(smp_mb__after_spinlock());
smp_mb__after_spinlock();
smp_mb__after_spinlock();
smp_mb__after_spinlock();
smp_mb__after_spinlock(); /* Pairing determined by caller's synchronization design. */
smp_mb__after_spinlock();