Searched refs:initLocalIRQController (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/include/arch/riscv/arch/
H A Dmachine.h231 void initLocalIRQController(void);
/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dhardware.c271 BOOT_CODE void initLocalIRQController(void) function
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dboot.c140 initLocalIRQController();

Completed in 59 milliseconds