pmap_pml3e_index
l3e = &l3e[pmap_pml3e_index(addr)];
l3e = &l3e[pmap_pml3e_index(va)];
return (&l3e[pmap_pml3e_index(va)]);