Searched refs:pmap_pdpe_index (Results 1 – 1 of 1) sorted by relevance
219 pmap_pdpe_index(vm_offset_t va) in pmap_pdpe_index() function244 return (&pdpe[pmap_pdpe_index(va)]); in pmap_pml4e_to_pdpe()395 int kpdpi = pmap_pdpe_index(ptov_offset); in create_pagetables()