Symbol: os_vmspace_pdirpa
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2362
vmcb->ctrl.n_cr3 = os_vmspace_pdirpa(mach->vm);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3036
os_vmspace_pdirpa(mach->vm);