Searched refs:free_loaded_vmcs (Results 1 – 2 of 2) sorted by relevance
674 void free_loaded_vmcs(struct loaded_vmcs *loaded_vmcs);
3073 void free_loaded_vmcs(struct loaded_vmcs *loaded_vmcs) in free_loaded_vmcs() function3113 free_loaded_vmcs(loaded_vmcs); in alloc_loaded_vmcs()7654 free_loaded_vmcs(vmx->loaded_vmcs); in vmx_vcpu_free()7753 free_loaded_vmcs(vmx->loaded_vmcs); in vmx_vcpu_create()