evtchn_upcall_pending   78 arch/x86/kernel/asm-offsets.c 	OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending);
evtchn_upcall_pending   59 arch/x86/xen/irq.c 		if (unlikely(vcpu->evtchn_upcall_pending))
evtchn_upcall_pending   96 arch/x86/xen/irq.c 	if (unlikely(vcpu->evtchn_upcall_pending))
evtchn_upcall_pending  131 drivers/xen/events/events_2l.c 			vcpu_info->evtchn_upcall_pending = 1;
evtchn_upcall_pending  286 drivers/xen/events/events_2l.c 		       pending, v->evtchn_upcall_pending,
evtchn_upcall_pending 1225 drivers/xen/events/events_base.c 		vcpu_info->evtchn_upcall_pending = 0;
evtchn_upcall_pending 1236 drivers/xen/events/events_base.c 	} while (count != 1 || vcpu_info->evtchn_upcall_pending);
evtchn_upcall_pending  548 include/xen/interface/xen.h 	uint8_t evtchn_upcall_pending;