sys/dev/virtual/nvmm/nvmm_os.h

294

void os_contigpa_free(paddr_t, vaddr_t, size_t);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2414

os_contigpa_free(cpudata->vmcb_pa, (vaddr_t)cpudata->vmcb,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2418

os_contigpa_free(cpudata->iobm_pa, (vaddr_t)cpudata->iobm,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2422

os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2436

os_contigpa_free(cpudata->vmcb_pa, (vaddr_t)cpudata->vmcb,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2438

os_contigpa_free(cpudata->iobm_pa, (vaddr_t)cpudata->iobm,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2440

os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3100

os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3104

os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3108

os_contigpa_free(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3125

os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3127

os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3129

os_contigpa_free(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3657

os_contigpa_free(vmxoncpu[i].pa, vmxoncpu[i].va, 1);