FAS_MUTEX
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
if (cv_wait_sig(FAS_CV(fas), FAS_MUTEX(fas)) == 0) {
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
mutex_enter(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
if (mutex_tryenter(FAS_MUTEX(fas))) {
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_tryenter(FAS_MUTEX(fas))) {
mutex_exit(FAS_MUTEX(fas));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
mutex_enter(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
mutex_enter(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
ASSERT(mutex_owned(FAS_MUTEX(fas)));
mutex_exit(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_enter(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas));
mutex_exit(FAS_MUTEX(fas)); \