Home
last modified time | relevance | path

Searched refs:irq_status (Results 1 – 1 of 1) sorted by relevance

/nrf_hw_models-3.7.0/src/HW_models/
Dirq_ctrl.c55 uint64_t irq_status[IRQ_64s]; /*pended and not masked interrupts*/ member
121 if (nhw_intctrl_st[inst].irq_status[i] != 0) { in irq_status_not_zero()
146 uint64_t irq_status = this->irq_status[i]; in hw_irq_ctrl_get_highest_prio_irq() local
147 while (irq_status != 0U) { in hw_irq_ctrl_get_highest_prio_irq()
148 int irq_bit = nsi_find_lsb_set64(irq_status) - 1; in hw_irq_ctrl_get_highest_prio_irq()
151 irq_status &= ~((uint64_t) 1 << irq_bit); in hw_irq_ctrl_get_highest_prio_irq()
192 this->irq_status[i] = 0U; in hw_irq_ctrl_clear_all_enabled_irqs()
209 this->irq_status[i] = 0U; in hw_irq_ctrl_clear_all_irqs()
250 this->irq_status[irq_idx] &= ~irq_bit; in hw_irq_ctrl_clear_irq()
273 this->irq_status[irq_idx] |= irq_bit; in hw_irq_ctrl_reeval_level_irq()
[all …]