HATLOCK_MUTEXP
mutex_enter(HATLOCK_MUTEXP(hatlockp));
if (mutex_tryenter(HATLOCK_MUTEXP(hatlockp)) == 0)
mutex_exit(HATLOCK_MUTEXP(hatlockp));
mutex_enter(HATLOCK_MUTEXP(&hat_lock[i]));
mutex_exit(HATLOCK_MUTEXP(&hat_lock[i]));
return (MUTEX_HELD(HATLOCK_MUTEXP(TSB_HASH(sfmmup))));
cv_wait(&sfmmup->sfmmu_tsb_cv, HATLOCK_MUTEXP(hatlockp));
cv_wait(&sfmmup->sfmmu_tsb_cv, HATLOCK_MUTEXP(hatlockp));
HATLOCK_MUTEXP(hatlockp));
HATLOCK_MUTEXP(hatlockp));
HATLOCK_MUTEXP(hatlockp));
mutex_enter(HATLOCK_MUTEXP(hatlockp));
mutex_exit(HATLOCK_MUTEXP(hatlockp));
mutex_init(HATLOCK_MUTEXP(&hat_lock[i]), NULL, MUTEX_DEFAULT,
HATLOCK_MUTEXP(hatlockp));