| nvmm_x86_vmx.c | 2445 vmx_memfree(paddr_t pa, vaddr_t va, size_t npages) function in typeref:typename:void 3060 vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, 3064 vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm, 3068 vmx_memfree(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1); 3086 vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, VMCS_NPAGES); 3087 vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm, MSRBM_NPAGES); 3088 vmx_memfree(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1); 3651 vmx_memfree(vmxoncpu[i].pa, vmxoncpu[i].va, 1);
|