ITS_INVALID_EVENTID
KASSERT(eventid != ITS_INVALID_EVENTID);
KASSERT(eventid != ITS_INVALID_EVENTID);
uint32_t eventid = ITS_INVALID_EVENTID;
eventid = ITS_INVALID_EVENTID;
eventid = ITS_INVALID_EVENTID;
if (__predict_false(eventid == ITS_INVALID_EVENTID)) {
KASSERT(eventid != ITS_INVALID_EVENTID);
KASSERT(eventid != ITS_INVALID_EVENTID);
its->its_eventid[lpi - its->its_pic->pic_irqbase] = ITS_INVALID_EVENTID;