Searched refs:plic_pending_interrupt (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/seL4/include/drivers/irq/ | ||
H A D | riscv_plic0.h | 98 static inline bool_t plic_pending_interrupt(word_t interrupt) function 170 if (plic_pending_interrupt(i)) { |
Completed in 26 milliseconds