678 		CT_DEBUG((CE_WARN,  in ctmpl_device_create()
689 		CT_DEBUG((CE_WARN, "Failed to create device contract for "  in ctmpl_device_create()
822 			CT_DEBUG((CE_NOTE, "contract_device_destroy:"  in contract_device_destroy()
952 		CT_DEBUG((CE_WARN, "is_sync_neg: transition to same state: %s",  in is_sync_neg()
964 	CT_DEBUG((CE_WARN, "is_sync_neg: Unsupported state transition: "  in is_sync_neg()
990 		CT_DEBUG((CE_WARN, "ct_dv_clean: Parent node is busy owned, "  in contract_device_dvclean()
1026 	CT_DEBUG((CE_NOTE, "ack_nack: entered: ctid %d", ctid));  in contract_device_ack_nack()
1029 	CT_DEBUG((CE_NOTE, "ack_nack: contract lock acquired: %d", ctid));  in contract_device_ack_nack()
1060 		CT_DEBUG((CE_NOTE, "ack_nack: dv_clean: %d", ctid));  in contract_device_ack_nack()
1063 			CT_DEBUG((CE_NOTE, "ack_nack: dv_clean: failed: %d",  in contract_device_ack_nack()
1076 			CT_DEBUG((CE_WARN, "%sACK for non-current event "  in contract_device_ack_nack()
1080 			CT_DEBUG((CE_NOTE, "ack_nack: error: ESRCH, ctid: %d",  in contract_device_ack_nack()
1084 			CT_DEBUG((CE_WARN, "contract_ack: no such device: "  in contract_device_ack_nack()
1108 		CT_DEBUG((CE_WARN, "%sACK for non-current event"  in contract_device_ack_nack()
1113 		CT_DEBUG((CE_NOTE, "ack_nack: error: %d, ctid: %d",  in contract_device_ack_nack()
1121 	CT_DEBUG((CE_NOTE, "ack_nack: setting %sACK for ctid: %d",  in contract_device_ack_nack()
1130 	CT_DEBUG((CE_NOTE, "ack_nack: normal exit: ctid: %d", ctid));  in contract_device_ack_nack()
1343 		CT_DEBUG((CE_NOTE, "contract_open: Not user-context"));  in contract_device_open()
1359 		CT_DEBUG((CE_NOTE, "contract_device_open(): Process %d: "  in contract_device_open()
1375 		CT_DEBUG((CE_NOTE, "contract_device_open(): Failed to derive "  in contract_device_open()
1434 	CT_DEBUG((CE_NOTE, "%s: entered: dip: %p", f, (void *)dip));  in wait_for_acks()
1440 		CT_DEBUG((CE_NOTE, "%s: timed out: %p", f, (void *)dip));  in wait_for_acks()
1469 			CT_DEBUG((CE_NOTE, "%s: found a NACK,result = NACK: %p",  in wait_for_acks()
1475 			CT_DEBUG((CE_NOTE, "%s: found a ACK: %p",  in wait_for_acks()
1483 		CT_DEBUG((CE_NOTE, "%s: result = ACK, dip=%p", f, (void *)dip));  in wait_for_acks()
1486 		CT_DEBUG((CE_NOTE, "%s: result = NONE (timed-out), dip=%p",  in wait_for_acks()
1489 		CT_DEBUG((CE_NOTE, "%s: result = NONE, dip=%p",  in wait_for_acks()
1615 		CT_DEBUG((CE_NOTE, "publish: is%s sync state change",  in contract_device_publish()
1632 		CT_DEBUG((CE_NOTE, "publish: negend: setting cond state"));  in contract_device_publish()
1643 		CT_DEBUG((CE_NOTE, "publish: no negend reqd. release barrier"));  in contract_device_publish()
1655 		CT_DEBUG((CE_NOTE, "publish: setting negend flag"));  in contract_device_publish()
1691 		CT_DEBUG((CE_NOTE, "publish: found matching contract: %d",  in contract_device_publish()
1711 			CT_DEBUG((CE_NOTE, "publish: Contract broken: %d",  in contract_device_publish()
1723 			CT_DEBUG((CE_NOTE, "contract_device_publish(): "  in contract_device_publish()
1739 			CT_DEBUG((CE_NOTE, "publish: broken + sync: "  in contract_device_publish()
1748 				CT_DEBUG((CE_NOTE, "publish: sync and noneg:"  in contract_device_publish()
1762 			CT_DEBUG((CE_NOTE, "publish: broken + async: ctid: %d",  in contract_device_publish()
1771 			CT_DEBUG((CE_NOTE, "publish: event suscrib: ctid: %d",  in contract_device_publish()
1781 			CT_DEBUG((CE_NOTE, "publish: NEGEND: ctid: %d", ctid));  in contract_device_publish()
1793 			CT_DEBUG((CE_NOTE, "publish: not publishing event for "  in contract_device_publish()
1819 				CT_DEBUG((CE_NOTE, "publish: negend: ctid: %d "  in contract_device_publish()
1849 			CT_DEBUG((CE_NOTE, "publish: sync break, setting evid"  in contract_device_publish()
1874 		CT_DEBUG((CE_NOTE, "publish: negend: reset dip state: dip=%p",  in contract_device_publish()
1879 		CT_DEBUG((CE_NOTE, "publish: sync count=%d, dip=%p",  in contract_device_publish()
1888 		CT_DEBUG((CE_NOTE, "publish: async/non-nego/subscrib/no-match: "  in contract_device_publish()
1902 		CT_DEBUG((CE_NOTE, "publish: No matching contract"));  in contract_device_publish()
1906 		CT_DEBUG((CE_NOTE, "publish: found 1 or more NONEG contract"));  in contract_device_publish()
1910 		CT_DEBUG((CE_NOTE, "publish: sync contract: waiting"));  in contract_device_publish()
1914 		CT_DEBUG((CE_NOTE, "publish: async/no-break/negend"));  in contract_device_publish()
1923 	CT_DEBUG((CE_NOTE, "publish: dropping devi_ct_lock"));  in contract_device_publish()
1932 	CT_DEBUG((CE_NOTE, "publish: result = %s", result_str(result)));  in contract_device_publish()
2019 	CT_DEBUG((CE_NOTE, "contract_device_negend(): entered: result: %d, "  in contract_device_negend()
2029 	CT_DEBUG((CE_NOTE, "contract_device_negend(): exit dip: %p",  in contract_device_negend()
2126 		CT_DEBUG((CE_NOTE, "ct: remove_dip: removed dip from contract: "  in contract_device_remove_dip()
2141 	CT_DEBUG((CE_NOTE, "ct_barrier_acquire: waiting for barrier"));  in ct_barrier_acquire()
2145 	CT_DEBUG((CE_NOTE, "ct_barrier_acquire: thread owns barrier"));  in ct_barrier_acquire()
2155 	CT_DEBUG((CE_NOTE, "ct_barrier_release: Released barrier"));  in ct_barrier_release()
2184 	CT_DEBUG((CE_NOTE, "barrier_decr:  ct_count before decr: %d",  in ct_barrier_decr()
2193 		CT_DEBUG((CE_NOTE, "barrier_decr: cv_broadcast"));  in ct_barrier_decr()