516 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_process_kill()
566 	ASSERT(MUTEX_HELD(&parent->ct_lock));  in contract_process_take()
567 	ASSERT(MUTEX_HELD(&child->ct_lock));  in contract_process_take()
585 	ASSERT(MUTEX_HELD(&parent->conp_contract.ct_lock));  in contract_process_adopt()
586 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_process_adopt()
596 	mutex_exit(&parent->conp_contract.ct_lock);  in contract_process_adopt()
609 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_process_abandon()
625 		mutex_exit(&ct->ct_lock);  in contract_process_abandon()
641 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_process_destroy()
647 		mutex_enter(&cct->ct_lock);  in contract_process_destroy()
674 		mutex_enter(&ct->ct_lock);  in contract_process_status()
677 		mutex_exit(&ct->ct_lock);  in contract_process_status()
684 		mutex_enter(&ct->ct_lock);  in contract_process_status()
688 			mutex_exit(&ct->ct_lock);  in contract_process_status()
694 			mutex_enter(&ct->ct_lock);  in contract_process_status()
713 		mutex_exit(&ct->ct_lock);  in contract_process_status()
888 		mutex_enter(&tmpl->ctp_subsume->ct_lock);  in contract_process_create()
889 		mutex_enter(&ctp->conp_contract.ct_lock);  in contract_process_create()
891 			mutex_enter(&ct->ct_lock);  in contract_process_create()
895 			mutex_exit(&ct->ct_lock);  in contract_process_create()
899 		mutex_exit(&ctp->conp_contract.ct_lock);  in contract_process_create()
900 		mutex_exit(&tmpl->ctp_subsume->ct_lock);  in contract_process_create()
931 	mutex_enter(&ct->ct_lock);  in contract_process_exit()
947 		mutex_exit(&ct->ct_lock);  in contract_process_exit()
956 		mutex_enter(&ct->ct_lock);  in contract_process_exit()
965 			mutex_exit(&ct->ct_lock);  in contract_process_exit()
975 			mutex_enter(&ct->ct_lock);  in contract_process_exit()
987 	mutex_exit(&ct->ct_lock);  in contract_process_exit()
1034 	mutex_enter(&ct->ct_lock);  in contract_process_fork()
1039 		mutex_exit(&ct->ct_lock);  in contract_process_fork()
1047 	mutex_exit(&ct->ct_lock);  in contract_process_fork()
1109 		mutex_enter(&ct->ct_lock);  in contract_process_core()
1111 		mutex_exit(&ct->ct_lock);  in contract_process_core()
1141 		mutex_enter(&ct->ct_lock);  in contract_process_hwerr()
1143 		mutex_exit(&ct->ct_lock);  in contract_process_hwerr()
1191 		mutex_enter(&ct->ct_lock);  in contract_process_sig()
1193 		mutex_exit(&ct->ct_lock);  in contract_process_sig()