Searched refs:free_vmcs (Results 1 – 2 of 2) sorted by relevance
672 void free_vmcs(struct vmcs *vmcs);
3065 void free_vmcs(struct vmcs *vmcs) in free_vmcs() function3078 free_vmcs(loaded_vmcs->vmcs); in free_loaded_vmcs()7723 goto free_vmcs; in vmx_vcpu_create()7729 goto free_vmcs; in vmx_vcpu_create()7741 goto free_vmcs; in vmx_vcpu_create()7752 free_vmcs: in vmx_vcpu_create()