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

/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h39 #define PLIC_NUM_INTERRUPTS PLIC_MAX_IRQ macro
156 for (int i = 1; i <= PLIC_NUM_INTERRUPTS; i++) {
168 for (int i = 1; i <= PLIC_NUM_INTERRUPTS; i++) {

Completed in 25 milliseconds