pmap_ste2
(*pmap_ste2(m, v) & SG_V)) \
((*pmap_ste1(m, v) & SG_V) && (*pmap_ste2(m, v) & SG_V))
ste = pmap_ste2(pmap, va);
("enter: ste2 %p (%p)\n", pmap_ste2(pmap, va), ste));