Searched refs:cleanCacheRange_RAM (Results 1 - 7 of 7) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 37 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
60 cleanCacheRange_RAM((word_t)ptr, (word_t)ptr + BIT(bits) - 1,
|
| /seL4-camkes-master/kernel/src/arch/arm/machine/ |
| H A D | cache.c | 55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) function
104 cleanCacheRange_RAM(start, start, pstart);
108 cleanCacheRange_RAM(line, line, pstart + (line - start));
|
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | iospace.c | 128 cleanCacheRange_RAM((word_t)iopdSlot,
230 cleanCacheRange_RAM((word_t)ioptSlot,
401 cleanCacheRange_RAM((word_t)lu_ret.iopdSlot,
434 cleanCacheRange_RAM((word_t)lu_ret.ioptSlot,
452 cleanCacheRange_RAM((word_t)pd, (word_t)pd + size, addrFromPPtr(pd));
|
| /seL4-camkes-master/kernel/src/plat/tk1/machine/ |
| H A D | smmu.c | 159 cleanCacheRange_RAM((word_t)pd, ((word_t)pd + BIT(SMMU_PD_INDEX_BITS)),
|
| /seL4-camkes-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 521 cleanCacheRange_RAM((word_t)regionBase,
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1820 cleanCacheRange_RAM(start, end, pstart);
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1437 cleanCacheRange_RAM(start, end, pstart);
|
Completed in 153 milliseconds