xen_evtchn_max_channels 112 drivers/xen/events/events_base.c for (row = 0; row < EVTCHN_ROW(xen_evtchn_max_channels()); row++) { xen_evtchn_max_channels 124 drivers/xen/events/events_base.c if (evtchn >= xen_evtchn_max_channels()) xen_evtchn_max_channels 148 drivers/xen/events/events_base.c if (evtchn >= xen_evtchn_max_channels()) xen_evtchn_max_channels 835 drivers/xen/events/events_base.c if (evtchn >= xen_evtchn_max_channels()) xen_evtchn_max_channels 933 drivers/xen/events/events_base.c for (port = 0; port < xen_evtchn_max_channels(); port++) { xen_evtchn_max_channels 1162 drivers/xen/events/events_base.c if (evtchn >= xen_evtchn_max_channels()) xen_evtchn_max_channels 1687 drivers/xen/events/events_base.c evtchn_to_irq = kcalloc(EVTCHN_ROW(xen_evtchn_max_channels()),