# CONFIG_ARCH_HAS_DEVMEM_IS_ALLOWED is not set
