# CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
