pmap_pde_to_pdetab
ptb = pmap_pde_to_pdetab(opde);
ptb = pmap_pde_to_pdetab(opde);
ptb = pmap_pde_to_pdetab(opde);
ptb = pmap_pde_to_pdetab(ptb->pde_pde[(va >> segshift) & pdetab_mask]);
pmap_pde_to_pdetab(ptb->pde_pde[i]);