bcm_intc_irq_handler
void bcm_intc_irq_handler(void *);
bcm_intc_splx, bcm_intc_setipl, bcm_intc_irq_handler, NULL,
bcm_intc_irq_handler);