Home
last modified time | relevance | path

Searched refs:pending_bits (Results 1 – 1 of 1) sorted by relevance

/drivers/xen/
Devents.c1333 xen_ulong_t pending_bits; in __xen_evtchn_do_upcall() local
1349 pending_bits = evtchn % BITS_PER_LONG; in __xen_evtchn_do_upcall()
1350 if (active_evtchns(cpu, s, word_idx) & (1ULL << pending_bits)) { in __xen_evtchn_do_upcall()
1379 pending_bits = active_evtchns(cpu, s, word_idx); in __xen_evtchn_do_upcall()
1395 bits = MASK_LSBS(pending_bits, bit_idx); in __xen_evtchn_do_upcall()