kcsan_mb
kcsan_mb();
#define smp_store_mb(var, value) do { kcsan_mb(); __smp_store_mb(var, value); } while (0)
#define smp_mb__before_atomic() do { kcsan_mb(); __smp_mb__before_atomic(); } while (0)
#define smp_mb__after_atomic() do { kcsan_mb(); __smp_mb__after_atomic(); } while (0)
#define virt_mb() do { kcsan_mb(); __smp_mb(); } while (0)
#define virt_store_mb(var, value) do { kcsan_mb(); __smp_store_mb(var, value); } while (0)
#define virt_mb__before_atomic() do { kcsan_mb(); __smp_mb__before_atomic(); } while (0)
#define virt_mb__after_atomic() do { kcsan_mb(); __smp_mb__after_atomic(); } while (0)
#define mb() do { kcsan_mb(); __mb(); } while (0)
#define dma_mb() do { kcsan_mb(); __dma_mb(); } while (0)
#define smp_mb() do { kcsan_mb(); __smp_mb(); } while (0)
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb(); \
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
kcsan_mb();
#define smp_mb__after_spinlock() kcsan_mb()