Searched refs:vmcs12_save_pending_event (Results 1 – 1 of 1) sorted by relevance
3331 static void vmcs12_save_pending_event(struct kvm_vcpu *vcpu, in vmcs12_save_pending_event() function3753 vmcs12_save_pending_event(vcpu, vmcs12); in prepare_vmcs12()
