Searched refs:vmspace_table_root (Results 1 – 4 of 4) sorted by relevance
49 uint64_t vmspace_table_root(vmspace_t *);
1007 vmspace_table_root(vmspace_t *vms) in vmspace_table_root() function
437 svm_sc->nptp = vmspace_table_root(vm_get_vmspace(vm)); in svm_vminit()
707 vmx->eptp = vmspace_table_root(vm_get_vmspace(vm)); in vmx_vminit()