Lines Matching refs:ASSERT
435 ASSERT(strlen(old->ctd_minor) + 1 <= MAXPATHLEN); in ctmpl_device_dup()
456 ASSERT(buf == NULL); in ctmpl_device_dup()
510 ASSERT(MUTEX_HELD(&tmpl->ctmpl_lock)); in ctmpl_device_set()
607 ASSERT(MUTEX_HELD(&template->ctmpl_lock)); in ctmpl_device_get()
668 ASSERT(strlen(dtmpl->ctd_minor) < MAXPATHLEN); in ctmpl_device_create()
755 ASSERT(ctd->cond_minor); in contract_device_free()
756 ASSERT(strlen(ctd->cond_minor) < MAXPATHLEN); in contract_device_free()
759 ASSERT(ctd->cond_devt != DDI_DEV_T_ANY && in contract_device_free()
762 ASSERT(ctd->cond_spec == S_IFBLK || ctd->cond_spec == S_IFCHR); in contract_device_free()
764 ASSERT(!(ctd->cond_aset & ~CT_DEV_ALLEVENT)); in contract_device_free()
765 ASSERT(ctd->cond_noneg == 0 || ctd->cond_noneg == 1); in contract_device_free()
767 ASSERT(!(ctd->cond_currev_type & ~CT_DEV_ALLEVENT)); in contract_device_free()
768 ASSERT(!(ctd->cond_currev_ack & ~(CT_ACK | CT_NACK))); in contract_device_free()
770 ASSERT((ctd->cond_currev_id > 0) ^ (ctd->cond_currev_type == 0)); in contract_device_free()
771 ASSERT((ctd->cond_currev_id > 0) || (ctd->cond_currev_ack == 0)); in contract_device_free()
773 ASSERT(!list_link_active(&ctd->cond_next)); in contract_device_free()
786 ASSERT(MUTEX_HELD(&ct->ct_lock)); in contract_device_abandon()
811 ASSERT(MUTEX_HELD(&ct->ct_lock)); in contract_device_destroy()
821 ASSERT(!list_link_active(&ctd->cond_next)); in contract_device_destroy()
876 ASSERT(detail == CTD_FIXED || detail == CTD_ALL); in contract_device_status()
895 ASSERT(ctd->cond_minor); in contract_device_status()
948 ASSERT(old & CT_DEV_ALLEVENT); in is_sync_neg()
949 ASSERT(new & CT_DEV_ALLEVENT); in is_sync_neg()
980 ASSERT(dip); in contract_device_dvclean()
1033 ASSERT(ctd->cond_minor); in contract_device_ack_nack()
1034 ASSERT(strlen(ctd->cond_minor) < MAXPATHLEN); in contract_device_ack_nack()
1039 ASSERT(!(ctd->cond_aset & evtype)); in contract_device_ack_nack()
1044 ASSERT(is_sync_neg(ctd->cond_state, evtype)); in contract_device_ack_nack()
1049 ASSERT(!ctd->cond_noneg); in contract_device_ack_nack()
1083 ASSERT(ctd->cond_currev_type == evtype); in contract_device_ack_nack()
1118 ASSERT(ctd->cond_currev_type == evtype); in contract_device_ack_nack()
1119 ASSERT(cmd == CT_ACK || cmd == CT_NACK); in contract_device_ack_nack()
1208 ASSERT(dtmpl != NULL); in contract_device_create()
1209 ASSERT(dev != NODEV && dev != DDI_DEV_T_ANY && dev != DDI_DEV_T_NONE); in contract_device_create()
1210 ASSERT(spec_type == S_IFCHR || spec_type == S_IFBLK); in contract_device_create()
1211 ASSERT(errorp); in contract_device_create()
1218 ASSERT(strlen(dtmpl->ctd_minor) < MAXPATHLEN); in contract_device_create()
1384 ASSERT(dtmpl->ctd_minor == NULL); in contract_device_open()
1391 ASSERT(dtmpl->ctd_minor); in contract_device_open()
1427 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in wait_for_acks()
1428 ASSERT(dip); in wait_for_acks()
1429 ASSERT(evtype & CT_DEV_ALLEVENT); in wait_for_acks()
1430 ASSERT(dev != NODEV && dev != DDI_DEV_T_NONE); in wait_for_acks()
1431 ASSERT((dev == DDI_DEV_T_ANY && spec_type == 0) || in wait_for_acks()
1450 ASSERT(ctd->cond_dip == dip); in wait_for_acks()
1467 ASSERT(ctd->cond_currev_type == evtype); in wait_for_acks()
1521 ASSERT(ct_barrier_held(dip)); in set_cond_state()
1526 ASSERT(ctd->cond_dip == dip); in set_cond_state()
1600 ASSERT(dip); in contract_device_publish()
1601 ASSERT(dev != NODEV && dev != DDI_DEV_T_NONE); in contract_device_publish()
1602 ASSERT((dev == DDI_DEV_T_ANY && spec_type == 0) || in contract_device_publish()
1604 ASSERT(evtype == 0 || (evtype & CT_DEV_ALLEVENT)); in contract_device_publish()
1653 ASSERT(ct_barrier_held(dip)); in contract_device_publish()
1674 ASSERT(ctd->cond_dip == dip); in contract_device_publish()
1675 ASSERT(ctd->cond_minor); in contract_device_publish()
1676 ASSERT(strncmp(ctd->cond_minor, path, len) == 0 && in contract_device_publish()
1741 ASSERT(!negend); in contract_device_publish()
1742 ASSERT(ctd->cond_currev_id == 0); in contract_device_publish()
1743 ASSERT(ctd->cond_currev_type == 0); in contract_device_publish()
1744 ASSERT(ctd->cond_currev_ack == 0); in contract_device_publish()
1745 ASSERT(ctd->cond_neg == 0); in contract_device_publish()
1764 ASSERT(!negend); in contract_device_publish()
1765 ASSERT(ctd->cond_currev_id == 0); in contract_device_publish()
1766 ASSERT(ctd->cond_currev_type == 0); in contract_device_publish()
1767 ASSERT(ctd->cond_currev_ack == 0); in contract_device_publish()
1768 ASSERT(ctd->cond_neg == 0); in contract_device_publish()
1773 ASSERT(!negend); in contract_device_publish()
1774 ASSERT(ctd->cond_currev_id == 0); in contract_device_publish()
1775 ASSERT(ctd->cond_currev_type == 0); in contract_device_publish()
1776 ASSERT(ctd->cond_currev_ack == 0); in contract_device_publish()
1777 ASSERT(ctd->cond_neg == 0); in contract_device_publish()
1782 ASSERT(negend); in contract_device_publish()
1783 ASSERT(ctd->cond_noneg == 0); in contract_device_publish()
1786 ASSERT(ctd->cond_currev_id == nevid); in contract_device_publish()
1796 ASSERT(!negend); in contract_device_publish()
1797 ASSERT(ctd->cond_currev_id == 0); in contract_device_publish()
1798 ASSERT(ctd->cond_currev_type == 0); in contract_device_publish()
1799 ASSERT(ctd->cond_currev_ack == 0); in contract_device_publish()
1800 ASSERT(ctd->cond_neg == 0); in contract_device_publish()
1811 ASSERT(ctd->cond_noneg == 0); in contract_device_publish()
1828 ASSERT(ctd->cond_contract.ct_ntime.ctm_start == -1); in contract_device_publish()
1829 ASSERT(ctd->cond_contract.ct_qtime.ctm_start == -1); in contract_device_publish()
1845 ASSERT(!negend); in contract_device_publish()
1846 ASSERT(broken); in contract_device_publish()
1847 ASSERT(sync); in contract_device_publish()
1848 ASSERT(!ctd->cond_noneg); in contract_device_publish()
1877 ASSERT(match); in contract_device_publish()
1878 ASSERT(!ct_barrier_empty(dip)); in contract_device_publish()
1886 ASSERT(ct_barrier_empty(dip)); in contract_device_publish()
1887 ASSERT(DEVI(dip)->devi_ct_neg == 0); in contract_device_publish()
2017 ASSERT(result == CT_EV_SUCCESS || result == CT_EV_FAILURE); in contract_device_negend()
2044 ASSERT(dip); in contract_device_negotiate()
2045 ASSERT(dev != NODEV); in contract_device_negotiate()
2046 ASSERT(dev != DDI_DEV_T_ANY); in contract_device_negotiate()
2047 ASSERT(dev != DDI_DEV_T_NONE); in contract_device_negotiate()
2048 ASSERT(spec_type == S_IFBLK || spec_type == S_IFCHR); in contract_device_negotiate()
2075 ASSERT(dip); in contract_device_finalize()
2076 ASSERT(dev != NODEV); in contract_device_finalize()
2077 ASSERT(dev != DDI_DEV_T_ANY); in contract_device_finalize()
2078 ASSERT(dev != DDI_DEV_T_NONE); in contract_device_finalize()
2079 ASSERT(spec_type == S_IFBLK || spec_type == S_IFCHR); in contract_device_finalize()
2123 ASSERT(ctd->cond_dip == dip); in contract_device_remove_dip()
2130 ASSERT(list_is_empty(&(DEVI(dip)->devi_ct))); in contract_device_remove_dip()
2140 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_acquire()
2151 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_release()
2152 ASSERT(DEVI(dip)->devi_ct_count != -1); in ct_barrier_release()
2161 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_held()
2168 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_empty()
2169 ASSERT(DEVI(dip)->devi_ct_count != -1); in ct_barrier_empty()
2176 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_wait_for_release()
2187 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_decr()
2188 ASSERT(DEVI(dip)->devi_ct_count > 0); in ct_barrier_decr()
2200 ASSERT(ct_barrier_held(dip)); in ct_barrier_incr()
2209 ASSERT(MUTEX_HELD(&(DEVI(dip)->devi_ct_lock))); in ct_barrier_wait_for_empty()