/* Require the operating system to support the membarrier system call for
default and bulletproof flavors. */
#undef CONFIG_RCU_FORCE_SYS_MEMBARRIER
/* Require the operating system to support the membarrier system call for
default and bulletproof flavors. */
#undef CONFIG_RCU_FORCE_SYS_MEMBARRIER