# CONFIG_ARCH_USE_CMPXCHG_LOCKREF is not set
