intr_dispatch
void (*intr_dispatch)(struct trapframe *);
void intr_dispatch(struct clockframe);
(void)intr_dispatch(dummy_frame);
(void)intr_dispatch(0x70); /* grab any serial interrupts */
(void)intr_dispatch(0x70); /* grab any serial interrupts */
(void)intr_dispatch(0x70); /* grab any serial interrupts */
void intr_dispatch(struct clockframe);
(void)intr_dispatch(0x70);
(void)intr_dispatch(0x70);
(void)intr_dispatch(0x70);