intel-hda/controller/intel-hda-irq.cpp

22     ZX_DEBUG_ASSERT(irq_wakeup_event_ != nullptr);
27     ZX_DEBUG_ASSERT(id < countof(codecs_));
35     ZX_DEBUG_ASSERT(rirb_ && rirb_entry_count_ && rirb_mask_);
68     ZX_DEBUG_ASSERT(!pending);
103     ZX_DEBUG_ASSERT(rirb_snapshot_cnt_ < HDA_RIRB_MAX_ENTRIES);
104     ZX_DEBUG_ASSERT(rirb_snapshot_cnt_ < rirb_entry_count_);
173     ZX_DEBUG_ASSERT(corb_space_ > 0);
192     ZX_DEBUG_ASSERT(job != nullptr);
203     ZX_DEBUG_ASSERT(corb_wr_ptr_ < corb_entry_count_);
204     ZX_DEBUG_ASSERT(corb_);
209         ZX_DEBUG_ASSERT(!in_flight_corb_jobs_.is_empty());
214         ZX_DEBUG_ASSERT(pending_corb_jobs_.is_empty());
246         ZX_DEBUG_ASSERT(false);
270     ZX_DEBUG_ASSERT(corb_entry_count_ && corb_mask_);
271     ZX_DEBUG_ASSERT(corb_wr_ptr_ == REG_RD(&regs()->corbwp));
279     ZX_DEBUG_ASSERT(corb_entry_count_   >  corb_used);
280     ZX_DEBUG_ASSERT(corb_max_in_flight_ >= corb_used);
290     ZX_DEBUG_ASSERT(regs());
291     ZX_DEBUG_ASSERT(corb_entry_count_ && corb_mask_);
292     ZX_DEBUG_ASSERT(corb_wr_ptr_ < corb_entry_count_);
299             ZX_DEBUG_ASSERT(i < countof(all_streams_));
300             ZX_DEBUG_ASSERT(all_streams_[i] != nullptr);