db_dump_intr_event
db_dump_intr_event(ie, verbose);
void db_dump_intr_event(struct intr_event *ie, int handlers);
db_dump_intr_event((*isrc)->is_event, verbose);
db_dump_intr_event(isrc->is_event,