Searched refs:plat_cleanInvalidateL2Cache (Results 1 - 10 of 10) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dl2c_310.h18 void plat_cleanInvalidateL2Cache(void);
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dl2c_nop.c16 void plat_cleanInvalidateL2Cache(void) {} function
H A Dcache.c178 plat_cleanInvalidateL2Cache();
H A Dl2c_310.c357 void plat_cleanInvalidateL2Cache(void) function
/seL4-test-master/kernel/src/plat/allwinnerA20/machine/
H A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} function
/seL4-test-master/kernel/src/plat/am335x/machine/
H A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} function
/seL4-test-master/kernel/src/plat/omap3/machine/
H A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} function
/seL4-test-master/kernel/include/arch/arm/arch/
H A Dmachine.h34 static inline void plat_cleanInvalidateL2Cache(void);
/seL4-test-master/kernel/src/plat/imx31/machine/
H A Dhardware.c132 void plat_cleanInvalidateL2Cache(void) function
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c296 plat_cleanInvalidateL2Cache();

Completed in 38 milliseconds