Searched defs:cache_type (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h719 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushL1Caches(seL4_Word cache_type) argument
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h921 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushL1Caches(seL4_Word cache_type) argument
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dl2c_310.c105 uint32_t cache_type; /* 0x004 */ member in struct:l2cc_map::__anon93

Completed in 37 milliseconds