Symbol: vmx_memfree
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3257
vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3261
vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3265
vmx_memfree(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3283
vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, VMCS_NPAGES);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3284
vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm, MSRBM_NPAGES);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3285
vmx_memfree(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3915
vmx_memfree(vmxoncpu[i].pa, vmxoncpu[i].va, 1);