Searched refs:vmcs12_save_pending_event (Results 1 – 1 of 1) sorted by relevance
3847 static void vmcs12_save_pending_event(struct kvm_vcpu *vcpu, in vmcs12_save_pending_event() function 4669 vmcs12_save_pending_event(vcpu, vmcs12, in prepare_vmcs12() 5042 * be captured in vmcs12 (see vmcs12_save_pending_event()). in __nested_vmx_vmexit()