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()
133 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()285 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
1645 vcpu_info->evtchn_upcall_pending = 0; in __xen_evtchn_do_upcall()1653 } while (vcpu_info->evtchn_upcall_pending); in __xen_evtchn_do_upcall()
75 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
548 uint8_t evtchn_upcall_pending; member