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

/seL4-camkes-master/kernel/src/plat/allwinnerA20/machine/
H A Dl2cache.c23 cleanInvalidateL1Caches();
34 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/src/plat/am335x/machine/
H A Dl2cache.c23 cleanInvalidateL1Caches();
34 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/src/plat/omap3/machine/
H A Dl2cache.c23 cleanInvalidateL1Caches();
34 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dcache.c166 void cleanInvalidateL1Caches(void) function
179 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h47 void cleanInvalidateL1Caches(void);
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c295 cleanInvalidateL1Caches();
510 cleanInvalidateL1Caches();
547 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c591 cleanInvalidateL1Caches();
606 cleanInvalidateL1Caches();
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c536 cleanInvalidateL1Caches();

Completed in 106 milliseconds