intr_irq_handler
intr_irq_handler(frame, INTR_ROOT_IRQ);
void intr_irq_handler(struct trapframe *tf, uint32_t rootnum);