292 	VERIFY(MUTEX_HELD(&azn->azn_mutex));  in amdzen_df_read_regdef()
346 	VERIFY(MUTEX_HELD(&azn->azn_mutex));  in amdzen_df_read32_bcast()
353 	VERIFY(MUTEX_HELD(&azn->azn_mutex));  in amdzen_df_read64_bcast()
364 	VERIFY(MUTEX_HELD(&azn->azn_mutex));  in amdzen_smn_read()
391 	VERIFY(MUTEX_HELD(&azn->azn_mutex));  in amdzen_smn_write()
427 	ASSERT(MUTEX_HELD(&azn->azn_mutex));  in amdzen_df_find()
479 	mutex_enter(&azn->azn_mutex);  in amdzen_c_smn_read()
482 		mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_read()
487 		mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_read()
492 	mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_read()
509 	mutex_enter(&azn->azn_mutex);  in amdzen_c_smn_write()
512 		mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_write()
517 		mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_write()
522 	mutex_exit(&azn->azn_mutex);  in amdzen_c_smn_write()
532 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_count()
534 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_count()
551 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_rev()
558 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_rev()
570 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_read32()
573 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32()
578 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32()
583 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32()
595 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_read64()
598 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64()
603 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64()
608 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64()
619 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_read32_bcast()
622 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32_bcast()
627 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32_bcast()
632 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read32_bcast()
643 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_read64_bcast()
646 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64_bcast()
651 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64_bcast()
656 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_read64_bcast()
680 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_iter()
683 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_iter()
686 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_iter()
745 	mutex_enter(&azn->azn_mutex);  in amdzen_c_df_fabric_decomp()
748 		mutex_exit(&azn->azn_mutex);  in amdzen_c_df_fabric_decomp()
753 	mutex_exit(&azn->azn_mutex);  in amdzen_c_df_fabric_decomp()
787 	ASSERT(MUTEX_HELD(&azn->azn_mutex));  in amdzen_map_dfs()
1916 	ASSERT(MUTEX_HELD(&azn->azn_mutex));  in amdzen_ccd_fill_topo()
2074 	mutex_enter(&azn->azn_mutex);  in amdzen_nexus_init()
2099 	mutex_exit(&azn->azn_mutex);  in amdzen_nexus_init()
2103 	mutex_enter(&azn->azn_mutex);  in amdzen_nexus_init()
2110 	mutex_exit(&azn->azn_mutex);  in amdzen_nexus_init()
2173 		mutex_enter(&azn->azn_mutex);  in amdzen_stub_scan_cb()
2175 		mutex_exit(&azn->azn_mutex);  in amdzen_stub_scan_cb()
2186 	mutex_enter(&azn->azn_mutex);  in amdzen_stub_scan()
2188 	mutex_exit(&azn->azn_mutex);  in amdzen_stub_scan()
2192 	mutex_enter(&azn->azn_mutex);  in amdzen_stub_scan()
2205 	mutex_exit(&azn->azn_mutex);  in amdzen_stub_scan()
2314 	mutex_enter(&azn->azn_mutex);  in amdzen_attach_stub()
2328 	mutex_exit(&azn->azn_mutex);  in amdzen_attach_stub()
2411 	mutex_enter(&azn->azn_mutex);  in amdzen_topo_open()
2414 		mutex_exit(&azn->azn_mutex);  in amdzen_topo_open()
2417 	mutex_exit(&azn->azn_mutex);  in amdzen_topo_open()
2428 	mutex_enter(&azn->azn_mutex);  in amdzen_topo_ioctl_base()
2432 		mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_base()
2446 	mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_base()
2534 	mutex_enter(&azn->azn_mutex);  in amdzen_topo_ioctl_df()
2536 		mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_df()
2554 		mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_df()
2585 			mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_df()
2590 	mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_df()
2647 	mutex_enter(&azn->azn_mutex);  in amdzen_topo_ioctl_ccd()
2699 			mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_ccd()
2713 	mutex_exit(&azn->azn_mutex);  in amdzen_topo_ioctl_ccd()
2780 	mutex_enter(&azn->azn_mutex);  in amdzen_attach()
2783 		mutex_exit(&azn->azn_mutex);  in amdzen_attach()
2790 		mutex_exit(&azn->azn_mutex);  in amdzen_attach()
2798 	mutex_exit(&azn->azn_mutex);  in amdzen_attach()
2814 	mutex_enter(&azn->azn_mutex);  in amdzen_detach()
2816 		cv_wait(&azn->azn_cv, &azn->azn_mutex);  in amdzen_detach()
2825 		mutex_exit(&azn->azn_mutex);  in amdzen_detach()
2831 	mutex_exit(&azn->azn_mutex);  in amdzen_detach()
2848 	mutex_destroy(&amdzen_data->azn_mutex);  in amdzen_free()
2857 	mutex_init(&amdzen_data->azn_mutex, NULL, MUTEX_DRIVER, NULL);  in amdzen_alloc()