include/config/arch/use/cmpxchg/