becc_intr_dispatch
void becc_intr_dispatch(struct trapframe *frame);
i80200_extirq_dispatch = becc_intr_dispatch;