intel-hda/controller/intel-hda-codec.cpp

72         ZX_DEBUG_ASSERT(ctx);
94     ZX_DEBUG_ASSERT(codec_id < HDA_MAX_CODECS);
112     ZX_DEBUG_ASSERT(state_ == State::PROBING);
136     ZX_DEBUG_ASSERT(channel != nullptr);
157         ZX_DEBUG_ASSERT(probe_rx_ndx_ < countof(PROBE_COMMANDS));
330     ZX_DEBUG_ASSERT(channel != nullptr);
372     ZX_DEBUG_ASSERT(channel != nullptr);
379         ZX_DEBUG_ASSERT(channel == codec_driver_channel_.get());
399     ZX_DEBUG_ASSERT(channel != nullptr);
415     ZX_DEBUG_ASSERT(channel != nullptr);
448     ZX_DEBUG_ASSERT(channel != nullptr);
480     ZX_DEBUG_ASSERT(channel != nullptr);
509     ZX_DEBUG_ASSERT(channel != nullptr);
545     ZX_DEBUG_ASSERT(client_channel.is_valid());