# CONFIG_GENERIC_IRQ_DEBUGFS is not set