Searched refs:PLIC_PENDING (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/include/drivers/irq/ | ||
| H A D | riscv_plic0.h | 27 #define PLIC_PENDING 0x1000 macro 100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4; |
Completed in 208 milliseconds