# CONFIG_ARCH_HAS_SET_DIRECT_MAP is not set
