# CONFIG_THP_SWAP is not set
