Searched refs:nested_release_vmcs12 (Results 1 – 1 of 1) sorted by relevance
5162 static inline void nested_release_vmcs12(struct kvm_vcpu *vcpu) in nested_release_vmcs12() function5237 nested_release_vmcs12(vcpu); in handle_vmclear()5541 nested_release_vmcs12(vcpu); in handle_vmptrld()
