TTE_IS_LOCKED
if (TTE_IS_LOCKED(&tte)) {
ASSERT(TTE_IS_LOCKED(&tsbinfo->tsb_tte));
if (TTE_IS_LOCKED(ttep)) {
if (TTE_IS_LOCKED(ttep) && (va_tag == (uint64_t)textva ||
if (!TTE_IS_LOCKED(ttep) && WITHIN_OFW(va_tag)) {
ASSERT(!TTE_IS_LOCKED(&tte));