EVTCHN_COL 128 drivers/xen/events/events_base.c col = EVTCHN_COL(evtchn); EVTCHN_COL 152 drivers/xen/events/events_base.c return evtchn_to_irq[EVTCHN_ROW(evtchn)][EVTCHN_COL(evtchn)];