Searched refs:evtchn_upcall_pending (Results 1 – 3 of 3) sorted by relevance
132 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()284 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
1612 vcpu_info->evtchn_upcall_pending = 0; in __xen_evtchn_do_upcall()1623 } while (count != 1 || vcpu_info->evtchn_upcall_pending); in __xen_evtchn_do_upcall()
548 uint8_t evtchn_upcall_pending; member