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

/seL4-camkes-master/kernel/src/plat/am335x/machine/
H A Dhardware.c17 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-camkes-master/kernel/src/plat/omap3/machine/
H A Dhardware.c27 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h25 void cpu_initLocalIRQController(void);
/seL4-camkes-master/kernel/src/plat/bcm2837/machine/
H A Dintc.c25 BOOT_CODE void cpu_initLocalIRQController(void) {} function
/seL4-camkes-master/kernel/src/plat/imx31/machine/
H A Dhardware.c159 BOOT_CODE void cpu_initLocalIRQController(void) function
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c172 BOOT_CODE void cpu_initLocalIRQController(void) function
H A Dgic_v3.c333 BOOT_CODE void cpu_initLocalIRQController(void) function
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c223 cpu_initLocalIRQController();

Completed in 57 milliseconds