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

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dl2c_310.h16 void initL2Cache(void);
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dl2c_nop.c12 void initL2Cache(void) {} function
H A Dl2c_310.c243 BOOT_CODE void initL2Cache(void) function
/seL4-camkes-master/kernel/src/plat/allwinnerA20/machine/
H A Dl2cache.c21 void initL2Cache(void) function
/seL4-camkes-master/kernel/src/plat/am335x/machine/
H A Dl2cache.c21 void initL2Cache(void) function
/seL4-camkes-master/kernel/src/plat/omap3/machine/
H A Dl2cache.c21 void initL2Cache(void) function
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h22 void initL2Cache(void);
/seL4-camkes-master/kernel/src/plat/imx31/machine/
H A Dhardware.c138 BOOT_CODE void initL2Cache(void) function
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dmachine.h230 void initL2Cache(void);
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dhardware.c267 BOOT_CODE void initL2Cache(void) function
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c242 initL2Cache();

Completed in 169 milliseconds