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

247

#define os_vmspace_pmap(vm) vmspace_pmap(vm)

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

248

#define os_vmspace_pdirpa(vm) (vtophys(vmspace_pmap(vm)->pm_pml4))

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

1510

machgen = vmspace_pmap(mach->vm)->pm_invgen;

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

2199

machgen = vmspace_pmap(mach->vm)->pm_invgen;

src/libs/nvmm/driver/nvmm_os.h

247

#define os_vmspace_pmap(vm) vmspace_pmap(vm)

src/libs/nvmm/driver/nvmm_os.h

248

#define os_vmspace_pdirpa(vm) (vtophys(vmspace_pmap(vm)->pm_pml4))

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

1510

machgen = vmspace_pmap(mach->vm)->pm_invgen;

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

2199

machgen = vmspace_pmap(mach->vm)->pm_invgen;