Home
last modified time | relevance | path

Searched defs:plic_init_controller (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/drivers/irq/
A Driscv_plic_dummy.h49 static inline void plic_init_controller(void) in plic_init_controller() function
A Driscv_plic0.h167 static inline void plic_init_controller(void) in plic_init_controller() function

Completed in 3 milliseconds