Searched refs:cache_type (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dl2c_310.c105 uint32_t cache_type; /* 0x004 */ member in struct:l2cc_map::__anon234
303 if ((l2cc->id.cache_type & PL310_LOCKDOWN_BY_MASK) == PL310_LOCKDOWN_BY_MASTER) {
322 if ((l2cc->id.cache_type & PL310_LOCKDOWN_BY_MASK) == PL310_LOCKDOWN_BY_LINE) {
383 assert(((l2cc->id.cache_type >> 12) & 0x3) == 0x0);
399 assert(((l2cc->id.cache_type >> 12) & 0x3) == 0x0);
418 assert(((l2cc->id.cache_type >> 12) & 0x3) == 0x0);
/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dsyscalls.h254 * @param[in] cache_type L1 Cache Type to be flushed
257 seL4_BenchmarkFlushL1Caches(seL4_Word cache_type);
/seL4-l4v-master/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h719 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushL1Caches(seL4_Word cache_type) argument
721 arm_sys_send_null(seL4_SysBenchmarkFlushCaches, 1, cache_type);
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h921 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushL1Caches(seL4_Word cache_type) argument
923 riscv_sys_send_null(seL4_SysBenchmarkFlushCaches, 1, cache_type);

Completed in 41 milliseconds