BITS_PER_EVTCHN_WORD
!sync_test_and_set_bit(port / BITS_PER_EVTCHN_WORD,
port = (word_idx * BITS_PER_EVTCHN_WORD) + bit_idx;
bit_idx = (bit_idx + 1) % BITS_PER_EVTCHN_WORD;
(word_idx+1) % BITS_PER_EVTCHN_WORD);
word_idx = (word_idx + 1) % BITS_PER_EVTCHN_WORD;
for (i = (EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD)-1; i >= 0; i--)
int word_idx = i / BITS_PER_EVTCHN_WORD;
EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD);
EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD);
#define EVTCHN_FIRST_BIT(w) find_first_bit(BM(&(w)), BITS_PER_EVTCHN_WORD)
#define EVTCHN_MASK_SIZE (EVTCHN_2L_NR_CHANNELS/BITS_PER_EVTCHN_WORD)