Symbol: active_evtchns
drivers/xen/events/events_2l.c
181
if (active_evtchns(cpu, s, word_idx) & (1ULL << bit_idx))
drivers/xen/events/events_2l.c
212
pending_bits = active_evtchns(cpu, s, word_idx);