Lines Matching refs:evtchn_pending_sel
492 * In that case, there are bits in vcpu->arch.xen.evtchn_pending_sel which
499 unsigned long evtchn_pending_sel = READ_ONCE(v->arch.xen.evtchn_pending_sel);
503 if (!evtchn_pending_sel)
528 : "=r" (evtchn_pending_sel),
529 "+m" (vi->evtchn_pending_sel),
530 "+m" (v->arch.xen.evtchn_pending_sel)
531 : "0" (evtchn_pending_sel));
534 u32 evtchn_pending_sel32 = evtchn_pending_sel;
541 "+m" (vi->evtchn_pending_sel),
542 "+m" (v->arch.xen.evtchn_pending_sel)
1601 * evtchn_pending_sel for the target vCPU. And if *that* wasn't
1603 * *real* evtchn_pending_sel in its own guest vcpu_info struct.
1622 if (!test_and_set_bit(port_word_bit, &vcpu->arch.xen.evtchn_pending_sel))
1629 if (!test_and_set_bit(port_word_bit, &vcpu_info->evtchn_pending_sel)) {
1636 (unsigned long *)&vcpu_info->evtchn_pending_sel)) {