TTE_IS_PRIVILEGED
ASSERT(TTE_IS_PRIVILEGED(&tsbinfo->tsb_tte));
if (!TTE_IS_PRIVILEGED(ttep) && vaddr >= (caddr_t)USERLIMIT)
if (!TTE_IS_PRIVILEGED(ttep)) {