kvm_xen_inject_pending_events
kvm_xen_inject_pending_events(vcpu);
void kvm_xen_inject_pending_events(struct kvm_vcpu *vcpu);