# CONFIG_DEVKMEM is not set