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()),