Searched refs:evtchn_upcall_pending (Results 1 – 5 of 5) sorted by relevance
59 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_restore_fl()96 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_irq_enable()
131 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()286 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
1224 vcpu_info->evtchn_upcall_pending = 0; in __xen_evtchn_do_upcall()1235 } while (count != 1 || vcpu_info->evtchn_upcall_pending); in __xen_evtchn_do_upcall()
81 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
548 uint8_t evtchn_upcall_pending; member
