Symbol: pmap_pde_index
sys/platform/vkernel64/platform/pmap.c
266
return (&pde[pmap_pde_index(va)]);
sys/platform/vkernel64/platform/pmap.c
415
int kpdi = pmap_pde_index(ptov_offset);