TSB_HASH
hatlockp = TSB_HASH(sfmmup);
hatlockp = TSB_HASH(sfmmup);
return (MUTEX_HELD(HATLOCK_MUTEXP(TSB_HASH(sfmmup))));
hatlockp = TSB_HASH(hat);
hatlockp = TSB_HASH(hat);
hatlock_t *hatlockp = TSB_HASH(sfmmup);