Home
last modified time | relevance | path

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

/linux-3.4.99/drivers/xen/
Devents.c1269 unsigned long pending_bits; in __xen_evtchn_do_upcall() local
1284 pending_bits = evtchn % BITS_PER_LONG; in __xen_evtchn_do_upcall()
1285 if (active_evtchns(cpu, s, word_idx) & (1ULL << pending_bits)) { in __xen_evtchn_do_upcall()
1314 pending_bits = active_evtchns(cpu, s, word_idx); in __xen_evtchn_do_upcall()
1330 bits = MASK_LSBS(pending_bits, bit_idx); in __xen_evtchn_do_upcall()