use WARN() in kernel/irq/chip.c