active_evtchns    179 drivers/xen/events/events_2l.c 		if (active_evtchns(cpu, s, word_idx) & (1ULL << bit_idx))
active_evtchns    210 drivers/xen/events/events_2l.c 		pending_bits = active_evtchns(cpu, s, word_idx);