sfmmu_hat_lock_held
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
sfmmu_hat_lock_held(sfmmup)); \
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
ASSERT(sfmmu_hat_lock_held(sfmmup));
extern int sfmmu_hat_lock_held(sfmmu_t *);
(ASSERT(sfmmu_hat_lock_held((sfmmup))), \
(ASSERT(sfmmu_hat_lock_held((sfmmup))), \
ASSERT(sfmmu_hat_lock_held(hat));
ASSERT(sfmmu_hat_lock_held(hat));