src/add-ons/kernel/drivers/nvmm/nvmm_os.h

413

void os_contigpa_free(paddr_t, vaddr_t, size_t);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2340

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2344

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2348

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2362

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2364

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2366

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2692

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3088

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3092

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3096

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3113

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3115

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3117

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3645

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

src/libs/nvmm/driver/nvmm_os.h

413

void os_contigpa_free(paddr_t, vaddr_t, size_t);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2340

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2344

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2348

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2362

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2364

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2366

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2692

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3088

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3092

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3096

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3113

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3115

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3117

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3645

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