Searched refs:irq_sw_channel_id_t (Results 1 – 4 of 4) sorted by relevance
36 } irq_sw_channel_id_t; typedef
67 irq_sw_channel_id_t irq_id = IRQ_SW_CHANNEL0_ID; in sh_css_hrt_sp_wait()
123 const irq_sw_channel_id_t irq_id);
209 const irq_sw_channel_id_t irq_id) in irq_raise()