Searched refs:plat_cleanL2Range (Results 1 - 11 of 11) sorted by relevance
| /seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
| H A D | l2c_310.h | 20 void plat_cleanL2Range(paddr_t start, paddr_t end);
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | l2c_nop.c | 13 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
| H A D | cache.c | 74 plat_cleanL2Range(pstart, pstart + (end - start));
|
| H A D | l2c_310.c | 379 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|
| /seL4-refos-master/kernel/src/plat/allwinnerA20/machine/ |
| H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-refos-master/kernel/src/plat/am335x/machine/ |
| H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-refos-master/kernel/src/plat/omap3/machine/ |
| H A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-refos-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 31 static inline void plat_cleanL2Range(paddr_t start, paddr_t end);
|
| /seL4-refos-master/kernel/src/plat/imx31/machine/ |
| H A D | hardware.c | 89 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 247 void plat_cleanL2Range(paddr_t start, paddr_t end);
|
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 256 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|
Completed in 41 milliseconds