# CONFIG_ARCH_HAS_NMI_SAFE_THIS_CPU_OPS is not set
