# CONFIG_HAVE_ARCH_HUGE_VMAP is not set
