# CONFIG_ARCH_HAS_PTE_DEVMAP is not set
