Searched refs:nested_release_vmcs12 (Results 1 – 1 of 1) sorted by relevance
6693 static inline void nested_release_vmcs12(struct vcpu_vmx *vmx) in nested_release_vmcs12() function6730 nested_release_vmcs12(vmx); in free_nested()6778 nested_release_vmcs12(vmx); in handle_vmclear()7133 nested_release_vmcs12(vmx); in handle_vmptrld()