CONFIG_X86_CMPXCHG (not configurable)

configname: CONFIG_X86_CMPXCHG

Linux Kernel Configuration
└─>X86_CMPXCHG
In linux kernel since version 2.6.12  
is selected by
CONFIG_XEN