Re: [PATCH v11 16/19] KVM: xen: split up kvm_xen_set_evtchn_fast()