x86/kvm/xen.c

586  * In that case, there are bits in vcpu->arch.xen.evtchn_pending_sel which
593 	unsigned long evtchn_pending_sel = READ_ONCE(v->arch.xen.evtchn_pending_sel);
597 	if (!evtchn_pending_sel)
622 			     : "=r" (evtchn_pending_sel),
623 			       "+m" (vi->evtchn_pending_sel),
624 			       "+m" (v->arch.xen.evtchn_pending_sel)
625 			     : "0" (evtchn_pending_sel));
628 		u32 evtchn_pending_sel32 = evtchn_pending_sel;
635 			       "+m" (vi->evtchn_pending_sel),
636 			       "+m" (v->arch.xen.evtchn_pending_sel)
1784 	 * evtchn_pending_sel for the target vCPU. And if *that* wasn't
1786 	 * *real* evtchn_pending_sel in its own guest vcpu_info struct.
1805 			if (!test_and_set_bit(port_word_bit, &vcpu->arch.xen.evtchn_pending_sel))
1812 			if (!test_and_set_bit(port_word_bit, &vcpu_info->evtchn_pending_sel)) {
1819 					      (unsigned long *)&vcpu_info->evtchn_pending_sel)) {