Searched refs:leaf_pte (Results 1 – 1 of 1) sorted by relevance
862 uint64_t *leaf_pte) in vmspace_ensure_mapped() argument869 ASSERT(leaf_pte != NULL); in vmspace_ensure_mapped()883 if (vmm_gpt_map_at(vms->vms_gpt, leaf_pte, pfn, vmsm->vmsm_prot, in vmspace_ensure_mapped()