CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG (not configurable)

configname: CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG

Linux Kernel Configuration
└─>ARCH_HAVE_NMI_SAFE_CMPXCHG
In linux kernel since version 3.1 (release Date: 2011-10-24)  
is selected by
CONFIG_HIST_TRIGGERS