pmap_pde_ptp
ptp = pmap_pde_ptp(pmap, pde);
static inline struct vm_page *pmap_pde_ptp(pmap_t, volatile pt_entry_t *);