SMAPMTX
ASSERT(MUTEX_HELD(SMAPMTX(smp)));
ASSERT(MUTEX_HELD(SMAPMTX(smp)));
smtx = SMAPMTX(smp);
ASSERT(SMAPMTX(smp) == smtx);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
mutex_exit(SMAPMTX(smp));
smtx = SMAPMTX(smp);
smapmtx = SMAPMTX(smp);
smapmtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
smtx = SMAPMTX(smp);
ASSERT(MUTEX_HELD(SMAPMTX(smp)));
ASSERT(MUTEX_HELD(SMAPMTX(smp)));