intr_event_handle
intr_event_handle(clk_intr_event, NULL);
if (intr_event_handle(isrc->isrc_event, tf) == 0)
if (intr_event_handle(ie, tf) != 0) {
int intr_event_handle(struct intr_event *ie, struct trapframe *frame);
if (intr_event_handle(ie, frame) != 0) {
intr_event_handle(clk_intr_event, frame);