Home
last modified time | relevance | path

Searched refs:plat_cleanInvalidateL2Cache (Results 1 – 9 of 9) sorted by relevance

/seL4-master/src/arch/arm/machine/
A Dl2c_nop.c16 void plat_cleanInvalidateL2Cache(void) {} in plat_cleanInvalidateL2Cache() function
A Dcache.c191 plat_cleanInvalidateL2Cache(); in arch_clean_invalidate_caches()
A Dl2c_310.c360 void plat_cleanInvalidateL2Cache(void) in plat_cleanInvalidateL2Cache() function
/seL4-master/include/arch/arm/arch/machine/
A Dl2c_310.h18 void plat_cleanInvalidateL2Cache(void);
/seL4-master/src/plat/omap3/machine/
A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} in plat_cleanInvalidateL2Cache() function
/seL4-master/src/plat/allwinnerA20/machine/
A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} in plat_cleanInvalidateL2Cache() function
/seL4-master/src/plat/am335x/machine/
A Dl2cache.c40 void plat_cleanInvalidateL2Cache(void) {} in plat_cleanInvalidateL2Cache() function
/seL4-master/include/arch/arm/arch/
A Dmachine.h30 static inline void plat_cleanInvalidateL2Cache(void);
/seL4-master/src/arch/arm/kernel/
A Dboot.c301 plat_cleanInvalidateL2Cache(); in release_secondary_cpus()

Completed in 8 milliseconds