Searched refs:arch_clean_invalidate_caches (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h117 static inline void arch_clean_invalidate_caches(void) function
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h119 static inline void arch_clean_invalidate_caches(void) function
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dcache.c175 void arch_clean_invalidate_caches(void) function
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/
H A Dmachine.h370 void arch_clean_invalidate_caches(void);
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c198 arch_clean_invalidate_caches();
201 arch_clean_invalidate_caches();
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine.h590 void arch_clean_invalidate_caches(void);

Completed in 173 milliseconds