x86/kvm/xen.c

1905 	return kvm_xen_set_evtchn(&e->xen_evtchn, kvm);
1919 	if (ue->u.xen_evtchn.port >= max_evtchn_port(kvm))
1923 	if (ue->u.xen_evtchn.priority != KVM_IRQ_ROUTING_XEN_EVTCHN_PRIO_2LEVEL)
1934 	vcpu = kvm_get_vcpu_by_id(kvm, ue->u.xen_evtchn.vcpu);
1936 		e->xen_evtchn.vcpu_idx = vcpu->vcpu_idx;
1938 		e->xen_evtchn.vcpu_idx = -1;
1940 	e->xen_evtchn.port = ue->u.xen_evtchn.port;
1941 	e->xen_evtchn.vcpu_id = ue->u.xen_evtchn.vcpu;
1942 	e->xen_evtchn.priority = ue->u.xen_evtchn.priority;