Searched refs:irq_idx (Results 1 – 2 of 2) sorted by relevance
43 uint8_t irq_idx = (uint8_t)(uintptr_t)parameter; in bellboard_rx_isr() local46 int_pend = nrf_bellboard_int_pending_get(bellboard, irq_idx); in bellboard_rx_isr()
61 static inline void eirq_nxp_s32_interrupt_handler(const struct device *dev, uint32_t irq_idx) in eirq_nxp_s32_interrupt_handler() argument70 pending &= mask << (irq_idx * CONFIG_NXP_S32_EIRQ_EXT_INTERRUPTS_GROUP); in eirq_nxp_s32_interrupt_handler()
