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

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h32 * void plic_mask_irq(bool_t disable, irq_t irq): Disables or enables an
49 static inline void plic_mask_irq(bool_t disable, irq_t irq) function
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h21 static inline void plic_mask_irq(bool_t disable, irq_t irq) function
/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h132 static inline void plic_mask_irq(bool_t disable, irq_t irq) function
158 plic_mask_irq(true, i);
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c205 plic_mask_irq(disable, irq);

Completed in 325 milliseconds