xen_evtchn_nr_channels  960 drivers/xen/events/events_base.c EXPORT_SYMBOL_GPL(xen_evtchn_nr_channels);
xen_evtchn_nr_channels 1692 drivers/xen/events/events_base.c 	for (evtchn = 0; evtchn < xen_evtchn_nr_channels(); evtchn++)
xen_evtchn_nr_channels  552 drivers/xen/evtchn.c 		if (unbind.port >= xen_evtchn_nr_channels())
xen_evtchn_nr_channels   15 include/xen/events.h unsigned xen_evtchn_nr_channels(void);