# CONFIG_UIO_DMEM_GENIRQ is not set