Searched refs:cpu_initLocalIRQController (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c67 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dmachine.h30 void cpu_initLocalIRQController(void);
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c119 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dintc.c32 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c172 BOOT_CODE void cpu_initLocalIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dgic_pl390.c183 BOOT_CODE void cpu_initLocalIRQController(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c283 cpu_initLocalIRQController();

Completed in 88 milliseconds