EVTCHN_ROW
for (row = 0; row < EVTCHN_ROW(xen_evtchn_max_channels()); row++) {
row = EVTCHN_ROW(evtchn);
EVTCHN_ROW(xen_evtchn_max_channels()));
if (evtchn_to_irq[EVTCHN_ROW(evtchn)] == NULL)
irq = READ_ONCE(evtchn_to_irq[EVTCHN_ROW(evtchn)][EVTCHN_COL(evtchn)]);