434 		ASSERT(strlen(old->ctd_minor) + 1 <= MAXPATHLEN);  in ctmpl_device_dup()
455 	ASSERT(buf == NULL);  in ctmpl_device_dup()
509 	ASSERT(MUTEX_HELD(&tmpl->ctmpl_lock));  in ctmpl_device_set()
605 	ASSERT(MUTEX_HELD(&template->ctmpl_lock));  in ctmpl_device_get()
666 		ASSERT(strlen(dtmpl->ctd_minor) < MAXPATHLEN);  in ctmpl_device_create()
753 	ASSERT(ctd->cond_minor);  in contract_device_free()
754 	ASSERT(strlen(ctd->cond_minor) < MAXPATHLEN);  in contract_device_free()
757 	ASSERT(ctd->cond_devt != DDI_DEV_T_ANY &&  in contract_device_free()
760 	ASSERT(ctd->cond_spec == S_IFBLK || ctd->cond_spec == S_IFCHR);  in contract_device_free()
762 	ASSERT(!(ctd->cond_aset & ~CT_DEV_ALLEVENT));  in contract_device_free()
763 	ASSERT(ctd->cond_noneg == 0 || ctd->cond_noneg == 1);  in contract_device_free()
765 	ASSERT(!(ctd->cond_currev_type & ~CT_DEV_ALLEVENT));  in contract_device_free()
766 	ASSERT(!(ctd->cond_currev_ack & ~(CT_ACK | CT_NACK)));  in contract_device_free()
768 	ASSERT((ctd->cond_currev_id > 0) ^ (ctd->cond_currev_type == 0));  in contract_device_free()
769 	ASSERT((ctd->cond_currev_id > 0) || (ctd->cond_currev_ack == 0));  in contract_device_free()
771 	ASSERT(!list_link_active(&ctd->cond_next));  in contract_device_free()
784 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_device_abandon()
809 	ASSERT(MUTEX_HELD(&ct->ct_lock));  in contract_device_destroy()
819 			ASSERT(!list_link_active(&ctd->cond_next));  in contract_device_destroy()
874 	ASSERT(detail == CTD_FIXED || detail == CTD_ALL);  in contract_device_status()
893 	ASSERT(ctd->cond_minor);  in contract_device_status()
946 	ASSERT(old & CT_DEV_ALLEVENT);  in is_sync_neg()
947 	ASSERT(new & CT_DEV_ALLEVENT);  in is_sync_neg()
979 	ASSERT(dip);  in contract_device_dvclean()
1032 	ASSERT(ctd->cond_minor);  in contract_device_ack_nack()
1033 	ASSERT(strlen(ctd->cond_minor) < MAXPATHLEN);  in contract_device_ack_nack()
1038 	ASSERT(!(ctd->cond_aset & evtype));  in contract_device_ack_nack()
1043 	ASSERT(is_sync_neg(ctd->cond_state, evtype));  in contract_device_ack_nack()
1048 	ASSERT(!ctd->cond_noneg);  in contract_device_ack_nack()
1082 			ASSERT(ctd->cond_currev_type == evtype);  in contract_device_ack_nack()
1117 	ASSERT(ctd->cond_currev_type == evtype);  in contract_device_ack_nack()
1118 	ASSERT(cmd == CT_ACK || cmd == CT_NACK);  in contract_device_ack_nack()
1207 	ASSERT(dtmpl != NULL);  in contract_device_create()
1208 	ASSERT(dev != NODEV && dev != DDI_DEV_T_ANY && dev != DDI_DEV_T_NONE);  in contract_device_create()
1209 	ASSERT(spec_type == S_IFCHR || spec_type == S_IFBLK);  in contract_device_create()
1210 	ASSERT(errorp);  in contract_device_create()
1217 	ASSERT(strlen(dtmpl->ctd_minor) < MAXPATHLEN);  in contract_device_create()
1383 	ASSERT(dtmpl->ctd_minor == NULL);  in contract_device_open()
1390 	ASSERT(dtmpl->ctd_minor);  in contract_device_open()
1426 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in wait_for_acks()
1427 	ASSERT(dip);  in wait_for_acks()
1428 	ASSERT(evtype & CT_DEV_ALLEVENT);  in wait_for_acks()
1429 	ASSERT(dev != NODEV && dev != DDI_DEV_T_NONE);  in wait_for_acks()
1430 	ASSERT((dev == DDI_DEV_T_ANY && spec_type == 0) ||  in wait_for_acks()
1449 		ASSERT(ctd->cond_dip == dip);  in wait_for_acks()
1466 		ASSERT(ctd->cond_currev_type == evtype);  in wait_for_acks()
1520 	ASSERT(ct_barrier_held(dip));  in set_cond_state()
1525 		ASSERT(ctd->cond_dip == dip);  in set_cond_state()
1599 	ASSERT(dip);  in contract_device_publish()
1600 	ASSERT(dev != NODEV && dev != DDI_DEV_T_NONE);  in contract_device_publish()
1601 	ASSERT((dev == DDI_DEV_T_ANY && spec_type == 0) ||  in contract_device_publish()
1603 	ASSERT(evtype == 0 || (evtype & CT_DEV_ALLEVENT));  in contract_device_publish()
1652 		ASSERT(ct_barrier_held(dip));  in contract_device_publish()
1673 		ASSERT(ctd->cond_dip == dip);  in contract_device_publish()
1674 		ASSERT(ctd->cond_minor);  in contract_device_publish()
1675 		ASSERT(strncmp(ctd->cond_minor, path, len) == 0 &&  in contract_device_publish()
1740 			ASSERT(!negend);  in contract_device_publish()
1741 			ASSERT(ctd->cond_currev_id == 0);  in contract_device_publish()
1742 			ASSERT(ctd->cond_currev_type == 0);  in contract_device_publish()
1743 			ASSERT(ctd->cond_currev_ack == 0);  in contract_device_publish()
1744 			ASSERT(ctd->cond_neg == 0);  in contract_device_publish()
1763 			ASSERT(!negend);  in contract_device_publish()
1764 			ASSERT(ctd->cond_currev_id == 0);  in contract_device_publish()
1765 			ASSERT(ctd->cond_currev_type == 0);  in contract_device_publish()
1766 			ASSERT(ctd->cond_currev_ack == 0);  in contract_device_publish()
1767 			ASSERT(ctd->cond_neg == 0);  in contract_device_publish()
1772 			ASSERT(!negend);  in contract_device_publish()
1773 			ASSERT(ctd->cond_currev_id == 0);  in contract_device_publish()
1774 			ASSERT(ctd->cond_currev_type == 0);  in contract_device_publish()
1775 			ASSERT(ctd->cond_currev_ack == 0);  in contract_device_publish()
1776 			ASSERT(ctd->cond_neg == 0);  in contract_device_publish()
1781 			ASSERT(negend);  in contract_device_publish()
1782 			ASSERT(ctd->cond_noneg == 0);  in contract_device_publish()
1785 			ASSERT(ctd->cond_currev_id == nevid);  in contract_device_publish()
1795 			ASSERT(!negend);  in contract_device_publish()
1796 			ASSERT(ctd->cond_currev_id == 0);  in contract_device_publish()
1797 			ASSERT(ctd->cond_currev_type == 0);  in contract_device_publish()
1798 			ASSERT(ctd->cond_currev_ack == 0);  in contract_device_publish()
1799 			ASSERT(ctd->cond_neg == 0);  in contract_device_publish()
1810 				ASSERT(ctd->cond_noneg == 0);  in contract_device_publish()
1827 			ASSERT(ctd->cond_contract.ct_ntime.ctm_start == -1);  in contract_device_publish()
1828 			ASSERT(ctd->cond_contract.ct_qtime.ctm_start == -1);  in contract_device_publish()
1844 			ASSERT(!negend);  in contract_device_publish()
1845 			ASSERT(broken);  in contract_device_publish()
1846 			ASSERT(sync);  in contract_device_publish()
1847 			ASSERT(!ctd->cond_noneg);  in contract_device_publish()
1876 		ASSERT(match);  in contract_device_publish()
1877 		ASSERT(!ct_barrier_empty(dip));  in contract_device_publish()
1885 		ASSERT(ct_barrier_empty(dip));  in contract_device_publish()
1886 		ASSERT(DEVI(dip)->devi_ct_neg == 0);  in contract_device_publish()
2016 	ASSERT(result == CT_EV_SUCCESS || result == CT_EV_FAILURE);  in contract_device_negend()
2043 	ASSERT(dip);  in contract_device_negotiate()
2044 	ASSERT(dev != NODEV);  in contract_device_negotiate()
2045 	ASSERT(dev != DDI_DEV_T_ANY);  in contract_device_negotiate()
2046 	ASSERT(dev != DDI_DEV_T_NONE);  in contract_device_negotiate()
2047 	ASSERT(spec_type == S_IFBLK || spec_type == S_IFCHR);  in contract_device_negotiate()
2074 	ASSERT(dip);  in contract_device_finalize()
2075 	ASSERT(dev != NODEV);  in contract_device_finalize()
2076 	ASSERT(dev != DDI_DEV_T_ANY);  in contract_device_finalize()
2077 	ASSERT(dev != DDI_DEV_T_NONE);  in contract_device_finalize()
2078 	ASSERT(spec_type == S_IFBLK || spec_type == S_IFCHR);  in contract_device_finalize()
2122 		ASSERT(ctd->cond_dip == dip);  in contract_device_remove_dip()
2129 	ASSERT(list_is_empty(&(DEVI(dip)->devi_ct)));  in contract_device_remove_dip()
2139 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_acquire()
2150 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_release()
2151 	ASSERT(DEVI(dip)->devi_ct_count != -1);  in ct_barrier_release()
2160 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_held()
2167 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_empty()
2168 	ASSERT(DEVI(dip)->devi_ct_count != -1);  in ct_barrier_empty()
2175 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_wait_for_release()
2186 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_decr()
2187 	ASSERT(DEVI(dip)->devi_ct_count > 0);  in ct_barrier_decr()
2199 	ASSERT(ct_barrier_held(dip));  in ct_barrier_incr()
2208 	ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock)));  in ct_barrier_wait_for_empty()