EVTCODE_TO_IH_INDEX
#define EVTCODE_IH(x) (&__intc_intrhand[EVTCODE_TO_IH_INDEX(x)])
EVTCODE_TO_IH_INDEX(evtcode) = ih->ih_idx;
EVTCODE_TO_IH_INDEX(evtcode) = 0;
KASSERT(EVTCODE_TO_IH_INDEX(evtcode) != 0); /* there is a handler */
KASSERT(EVTCODE_TO_IH_INDEX(evtcode) != 0); /* there is a handler */