# CONFIG_DEVMEM is not set
