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

/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dplic.h37 * void plic_init_controller(void): Perform PLIC initialisation during boot.
57 static inline void plic_init_controller(void) function
/seL4-l4v-master/seL4/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h25 static inline void plic_init_controller(void) function
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c296 plic_init_controller();
/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h165 static inline void plic_init_controller(void) function

Completed in 42 milliseconds