# CONFIG_STRICT_DEVMEM is not set