arm_fdt_irq_default_handler
KASSERT(_arm_fdt_irq_handler == arm_fdt_irq_default_handler);
static void arm_fdt_irq_default_handler(void *);
static void (*_arm_fdt_irq_handler)(void *) = arm_fdt_irq_default_handler;