xen_evtchn_nr_channels
EXPORT_SYMBOL_GPL(xen_evtchn_nr_channels);
for (evtchn = 0; evtchn < xen_evtchn_nr_channels(); evtchn++)
if (unbind.port >= xen_evtchn_nr_channels())
unsigned xen_evtchn_nr_channels(void);