__kvm_xen_has_interrupt
int __kvm_xen_has_interrupt(struct kvm_vcpu *vcpu);
vcpu->arch.xen.upcall_vector && __kvm_xen_has_interrupt(vcpu))
return __kvm_xen_has_interrupt(vcpu);