Symbol: pmap_pdpe_index
sys/platform/vkernel64/platform/pmap.c
244
return (&pdpe[pmap_pdpe_index(va)]);
sys/platform/vkernel64/platform/pmap.c
414
int kpdpi = pmap_pdpe_index(ptov_offset);