EVTCHN_2L_NR_CHANNELS
return EVTCHN_2L_NR_CHANNELS;
for (i = (EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD)-1; i >= 0; i--)
for (i = 0; i < EVTCHN_2L_NR_CHANNELS; i++) {
EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD);
EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD);
#define EVTCHN_MASK_SIZE (EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD)
return EVTCHN_2L_NR_CHANNELS;