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

/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dhardware.c88 * getNewActiveIRQ is only called by getActiveIRQ and checks for a pending IRQ.
98 static irq_t getNewActiveIRQ(void) function
127 * irqInvalid. getActiveIRQ will call getNewActiveIRQ and cache its result until
137 active_irq[CURRENT_CPU_INDEX()] = getNewActiveIRQ();

Completed in 23 milliseconds