# CONFIG_HAVE_CMPXCHG_LOCAL is not set
