Searched refs:curr_irq (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgic.c55 ps_irq_t curr_irq = {0}; local
57 curr_irq.type = PS_INTERRUPT;
72 curr_irq.irq.number = irq + (irq_type == SPI_IRQ_TYPE ? 32 : 0);
73 int error = callback(curr_irq, i, num_interrupts, token);
H A Dgicv3.c89 ps_irq_t curr_irq = {0}; local
120 curr_irq.type = PS_INTERRUPT;
121 curr_irq.irq.number = irq + SPI_START;
130 int error = callback(curr_irq, i, num_interrupts, token);

Completed in 76 milliseconds