Searched refs:pmap_pde_index (Results 1 – 1 of 1) sorted by relevance
213 pmap_pde_index(vm_offset_t va) in pmap_pde_index() function266 return (&pde[pmap_pde_index(va)]); in pmap_pdpe_to_pde()396 int kpdi = pmap_pde_index(ptov_offset); in create_pagetables()