hat_lock
mutex_enter(HATLOCK_MUTEXP(&hat_lock[i]));
mutex_exit(HATLOCK_MUTEXP(&hat_lock[i]));
mutex_init(HATLOCK_MUTEXP(&hat_lock[i]), NULL, MUTEX_DEFAULT,
hatlock_t hat_lock[SFMMU_NUM_LOCK];
(tsb_hash_debug ? &hat_lock[0] : \
&hat_lock[PTR_HASH(sfmmup) & (SFMMU_NUM_LOCK-1)])
#define TSB_HASH(sfmmup) &hat_lock[PTR_HASH(sfmmup) & (SFMMU_NUM_LOCK-1)]