729 static void	sfmmu_hat_exit(hatlock_t *);
1889 		sfmmu_hat_exit(hatlockp);  in hat_setup()
1907 		sfmmu_hat_exit(hatlockp);  in hat_setup()
2074 		sfmmu_hat_exit(hatlockp);  in hat_swapout()
2110 	sfmmu_hat_exit(hatlockp);  in hat_swapout()
3257 				sfmmu_hat_exit(hatlockp);  in sfmmu_tteload_addentry()
3262 			sfmmu_hat_exit(hatlockp);  in sfmmu_tteload_addentry()
3292 		sfmmu_hat_exit(hatlockp);  in sfmmu_tteload_addentry()
3347 			sfmmu_hat_exit(hatlockp);  in sfmmu_tteload_addentry()
8378 	sfmmu_hat_exit(hatlockp);  in hat_stats_enable()
8389 	sfmmu_hat_exit(hatlockp);  in hat_stats_disable()
8629 			sfmmu_hat_exit(hatlockp);  in hat_share()
8636 			sfmmu_hat_exit(hatlockp);  in hat_share()
8652 		sfmmu_hat_exit(hatlockp);  in hat_share()
8765 		sfmmu_hat_exit(hatlockp);  in hat_unshare()
8826 			sfmmu_hat_exit(hatlockp);  in hat_unshare()
9872 	sfmmu_hat_exit(hatlockp);  in sfmmu_replace_tsb()
9897 		sfmmu_hat_exit(hatlockp);  in sfmmu_replace_tsb()
9974 	sfmmu_hat_exit(hatlockp);  in sfmmu_replace_tsb()
10010 	sfmmu_hat_exit(hatlockp);  in sfmmu_reprog_pgsz_arr()
10219 			sfmmu_hat_exit(hatlockp);  in sfmmu_size_tsb()
10246 				sfmmu_hat_exit(hatlockp);  in sfmmu_size_tsb()
10258 				sfmmu_hat_exit(hatlockp);  in sfmmu_size_tsb()
10288 	sfmmu_hat_exit(hatlockp);  in sfmmu_size_tsb()
10830 sfmmu_hat_exit(hatlock_t *hatlockp)  in sfmmu_hat_exit()  function
10881 		sfmmu_hat_exit(hatlockp);  in sfmmu_ismhat_enter()
10895 		sfmmu_hat_exit(hatlockp);  in sfmmu_ismhat_exit()
11611 	sfmmu_hat_exit(hatlockp);  in sfmmu_tsb_swapin()
11764 		sfmmu_hat_exit(hatlockp);  in sfmmu_tsbmiss_exception()
11801 					sfmmu_hat_exit(hatlockp);  in sfmmu_tsbmiss_exception()
11813 					sfmmu_hat_exit(shatlockp);  in sfmmu_tsbmiss_exception()
11862 		sfmmu_hat_exit(hatlockp);  in sfmmu_tsbmiss_exception()
11976 					sfmmu_hat_exit(hatlockp);  in sfmmu_rgntlb_demap()
11993 			sfmmu_hat_exit(hatlockp);  in sfmmu_rgntlb_demap()
12211 		sfmmu_hat_exit(hatlockp);  in sfmmu_tlbcache_demap()
12275 		sfmmu_hat_exit(hatlockp);  in sfmmu_tlb_demap()
12328 		sfmmu_hat_exit(hatlockp);  in sfmmu_tlb_range_demap()
12381 		sfmmu_hat_exit(hatlockp);  in sfmmu_tlb_range_demap()
12558 		sfmmu_hat_exit(hatlockp);  in sfmmu_tsb_pre_relocator()
12561 		sfmmu_hat_exit(hatlockp);  in sfmmu_tsb_pre_relocator()
12577 			sfmmu_hat_exit(hatlockp);  in sfmmu_tsb_pre_relocator()
12662 	sfmmu_hat_exit(hatlockp);  in sfmmu_tsb_post_relocator()
13924 				sfmmu_hat_exit(hatlockp);  in hat_join_region()
13949 			sfmmu_hat_exit(hatlockp);  in hat_join_region()
13982 			sfmmu_hat_exit(hatlockp);  in hat_join_region()
13988 			sfmmu_hat_exit(hatlockp);  in hat_join_region()
14162 		sfmmu_hat_exit(hatlockp);  in hat_leave_region()
14217 		sfmmu_hat_exit(hatlockp);  in hat_leave_region()
14981 	sfmmu_hat_exit(hatlockp);  in sfmmu_join_scd()
15153 			sfmmu_hat_exit(hatlockp);  in sfmmu_leave_scd()
15200 	sfmmu_hat_exit(hatlockp);  in sfmmu_leave_scd()
15270 	sfmmu_hat_exit(shatlockp);  in sfmmu_destroy_scd()