# CONFIG_GENERIC_IRQ_PROBE is not set
