Lines Matching defs:vcpu_idx
122 e.vcpu_idx = vcpu->vcpu_idx;
1278 set_bit(vcpu->vcpu_idx, vcpu->kvm->arch.xen.poll_mask);
1299 clear_bit(vcpu->vcpu_idx, vcpu->kvm->arch.xen.poll_mask);
1536 test_and_clear_bit(vcpu->vcpu_idx, vcpu->kvm->arch.xen.poll_mask)) {
1560 int vcpu_idx, idx, rc;
1562 vcpu_idx = READ_ONCE(xe->vcpu_idx);
1563 if (vcpu_idx >= 0)
1564 vcpu = kvm_get_vcpu(kvm, vcpu_idx);
1569 WRITE_ONCE(xe->vcpu_idx, vcpu->vcpu_idx);
1757 e->xen_evtchn.vcpu_idx = vcpu->vcpu_idx;
1759 e->xen_evtchn.vcpu_idx = -1;
1786 e.vcpu_idx = -1;
1854 evtchnfd->deliver.port.vcpu_idx = -1;
1917 evtchnfd->deliver.port.vcpu_idx = -1;
2055 vcpu->arch.xen.vcpu_id = vcpu->vcpu_idx;