Symbol: xen_evtchn_max_channels
drivers/xen/events/events_base.c
1192
if (evtchn >= xen_evtchn_max_channels())
drivers/xen/events/events_base.c
1325
for (port = 0; port < xen_evtchn_max_channels(); port++) {
drivers/xen/events/events_base.c
1599
if (evtchn >= xen_evtchn_max_channels())
drivers/xen/events/events_base.c
208
for (row = 0; row < EVTCHN_ROW(xen_evtchn_max_channels()); row++) {
drivers/xen/events/events_base.c
221
if (evtchn >= xen_evtchn_max_channels())
drivers/xen/events/events_base.c
2296
EVTCHN_ROW(xen_evtchn_max_channels()));
drivers/xen/events/events_base.c
271
if (evtchn >= xen_evtchn_max_channels())