AS_WRITE_HELD
ASSERT(AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(seg->s_as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(as != &kas && AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
writer = AS_WRITE_HELD(seg->s_as);
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as) ||
ASSERT(AS_WRITE_HELD(seg1->s_as));
ASSERT(seg1->s_as && AS_WRITE_HELD(seg1->s_as));
ASSERT(seg2->s_as && AS_WRITE_HELD(seg2->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as));
ASSERT(demote || AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as) ||
ASSERT(AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(seg->s_as) ||
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(hat->hat_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));
ASSERT(AS_WRITE_HELD(as));
ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));
ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));
ASSERT(AS_WRITE_HELD(sfmmup->sfmmu_as));
ASSERT(as && AS_WRITE_HELD(as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));
ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));