Searched refs:initIRQController (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h82 void initIRQController(void);
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c61 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dmachine.h29 void initIRQController(void);
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c113 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dintc.c17 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c167 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c209 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dgic_pl390.c178 initIRQController(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dgic_pl390.h243 void initIRQController(void);
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c302 initIRQController();
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c220 initIRQController();

Completed in 105 milliseconds