sfmmu_hat_exit
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(shatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(shatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
static void sfmmu_hat_exit(hatlock_t *);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(hatlockp);
sfmmu_hat_exit(_hatlockp); \
sfmmu_hat_exit(_hatlockp); \