pmap_ste1
(&((m)->pm_stab[(st_entry_t *)(*(u_int *)pmap_ste1(m, v) & SG4_ADDR1) \
? ((*pmap_ste1(m, v) & SG_V) && \
((*pmap_ste1(m, v) & SG_V) && (*pmap_ste2(m, v) & SG_V))