# CONFIG_ARCH_HAS_GIGANTIC_PAGE is not set
