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

/seL4-l4v-master/seL4/src/plat/am335x/machine/
H A Dhardware.c11 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/src/plat/omap3/machine/
H A Dhardware.c21 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_common.h79 void initIRQController(void);
/seL4-l4v-master/seL4/include/arch/arm/arch/
H A Dmachine.h24 void initIRQController(void);
/seL4-l4v-master/seL4/src/plat/bcm2837/machine/
H A Dintc.c10 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/src/plat/imx31/machine/
H A Dhardware.c154 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c165 BOOT_CODE void initIRQController(void) function
H A Dgic_v3.c328 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/include/arch/riscv/arch/
H A Dmachine.h232 void initIRQController(void);
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c292 BOOT_CODE void initIRQController(void) function
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c157 initIRQController();
/seL4-l4v-master/seL4/src/arch/arm/kernel/
H A Dboot.c241 initIRQController();

Completed in 85 milliseconds