Symbol: pmap_pml4e_index
sys/platform/vkernel64/platform/pmap.c
234
return (&pmap->pm_pml4[pmap_pml4e_index(va)]);
sys/platform/vkernel64/platform/pmap.c
413
int kpml4i = pmap_pml4e_index(ptov_offset);