Searched refs:evtchn_upcall_pending (Results 1 – 5 of 5) sorted by relevance
58 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_restore_fl()95 if (unlikely(vcpu->evtchn_upcall_pending)) in xen_irq_enable()
130 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()285 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
1234 vcpu_info->evtchn_upcall_pending = 0; in __xen_evtchn_do_upcall()1245 } while (count != 1 || vcpu_info->evtchn_upcall_pending); in __xen_evtchn_do_upcall()
78 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
531 uint8_t evtchn_upcall_pending; member