Searched refs:nested_save_pending_event_to_vmcb12 (Results 1 – 1 of 1) sorted by relevance
614 static void nested_save_pending_event_to_vmcb12(struct vcpu_svm *svm, in nested_svm_transition_tlb_flush() 1258 nested_save_pending_event_to_vmcb12(svm, vmcb12); in nested_svm_vmexit() 562 static void nested_save_pending_event_to_vmcb12(struct vcpu_svm *svm, nested_save_pending_event_to_vmcb12() function