os_vmspace_pdirpa
paddr_t os_vmspace_pdirpa(os_vmspace_t *vm);
vmcb->ctrl.n_cr3 = os_vmspace_pdirpa(mach->vm);
os_vmspace_pdirpa(mach->vm);
paddr_t os_vmspace_pdirpa(os_vmspace_t *vm);
vmcb->ctrl.n_cr3 = os_vmspace_pdirpa(mach->vm);
os_vmspace_pdirpa(mach->vm);