Home
last modified time | relevance | path

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

/seL4-master/src/plat/am335x/machine/
A Dhardware.c17 BOOT_CODE void cpu_initLocalIRQController(void) {} in cpu_initLocalIRQController() function
/seL4-master/src/plat/omap3/machine/
A Dhardware.c27 BOOT_CODE void cpu_initLocalIRQController(void) {} in cpu_initLocalIRQController() function
/seL4-master/include/arch/arm/arch/
A Dmachine.h21 void cpu_initLocalIRQController(void);
/seL4-master/src/plat/bcm2837/machine/
A Dintc.c25 BOOT_CODE void cpu_initLocalIRQController(void) {} in cpu_initLocalIRQController() function
/seL4-master/src/arch/arm/machine/
A Dgic_v2.c172 BOOT_CODE void cpu_initLocalIRQController(void) in cpu_initLocalIRQController() function
A Dgic_v3.c333 BOOT_CODE void cpu_initLocalIRQController(void) in cpu_initLocalIRQController() function
/seL4-master/src/arch/arm/kernel/
A Dboot.c228 cpu_initLocalIRQController(); in init_cpu()

Completed in 16 milliseconds