pmap_pdes_valid
if (pmap_pdes_valid(sva, &pde)) {
if (!pmap_pdes_valid(va, &pde))
if (pve->pv_ptp != NULL && pmap_pdes_valid(pve->pv_va, &pde) &&
if (!pmap_pdes_valid(va, NULL))
int pmap_pdes_valid(vaddr_t, pd_entry_t *);