Searched refs:evtchn_upcall_pending (Results 1 – 4 of 4) sorted by relevance
63 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_restore_fl()96 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_irq_enable()
61 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
341 uint8_t evtchn_upcall_pending; member
384 vcpu_info->evtchn_upcall_pending = 1; in unmask_evtchn()1030 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()1121 vcpu_info->evtchn_upcall_pending = 0; in __xen_evtchn_do_upcall()1211 } while (count != 1 || vcpu_info->evtchn_upcall_pending); in __xen_evtchn_do_upcall()