pmap_pde_to_ptpage
ppg = pmap_pde_to_ptpage(atomic_load_relaxed(pde_p));
ppg = pmap_pde_to_ptpage(opde);
return pmap_pde_to_ptpage(ptb->pde_pde[(va >> SEGSHIFT) & pdetab_mask]);
pmap_ptpage_t *ppg = pmap_pde_to_ptpage(ptb->pde_pde[i]);