AS_LOCK_HELD
ASSERT(AS_LOCK_HELD(as));
ASSERT(AS_LOCK_HELD(as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
if ((asp != &kas) && !AS_LOCK_HELD(asp))
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(async || AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(async || AS_LOCK_HELD(seg->s_as));
ASSERT(AS_LOCK_HELD(seg->s_as));
ASSERT(AS_LOCK_HELD(as));
ASSERT(AS_LOCK_HELD(as));
ASSERT(AS_LOCK_HELD(as));
ASSERT(AS_LOCK_HELD(as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(AS_LOCK_HELD(hat->hat_as));
AS_LOCK_HELD(hat->hat_as));
ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));
ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));
ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));
ASSERT(AS_LOCK_HELD(hat->hat_as));
ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));
ASSERT(hat == kas.a_hat || AS_LOCK_HELD(hat->hat_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT(AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT((hat == ksfmmup) || AS_LOCK_HELD(hat->sfmmu_as));
ASSERT((hat == ksfmmup) || AS_LOCK_HELD(hat->sfmmu_as));
ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));
AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT((sfmmup == ksfmmup) || AS_LOCK_HELD(sfmmup->sfmmu_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));
ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as));