CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG (not configurable)
configname: CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG
Linux Kernel Configuration
└─>General architecture-dependent options
└─>ARCH_HAVE_NMI_SAFE_CMPXCHG