Searched refs:plat_invalidateL2Range (Results 1 - 11 of 11) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | l2c_310.h | 21 void plat_invalidateL2Range(paddr_t start, paddr_t end);
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | l2c_nop.c | 14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} function
|
| H A D | cache.c | 119 plat_invalidateL2Range(pstart, pstart + (end - start));
|
| H A D | l2c_310.c | 395 void plat_invalidateL2Range(paddr_t start, paddr_t end) function
|
| /seL4-test-master/kernel/src/plat/allwinnerA20/machine/ |
| H A D | l2cache.c | 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-test-master/kernel/src/plat/am335x/machine/ |
| H A D | l2cache.c | 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-test-master/kernel/src/plat/omap3/machine/ |
| H A D | l2cache.c | 38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} function
|
| /seL4-test-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 32 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end);
|
| /seL4-test-master/kernel/src/plat/imx31/machine/ |
| H A D | hardware.c | 103 void plat_invalidateL2Range(paddr_t start, paddr_t end) function
|
| /seL4-test-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 249 void plat_invalidateL2Range(paddr_t start, paddr_t end);
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 259 void plat_invalidateL2Range(paddr_t start, paddr_t end) function
|
Completed in 56 milliseconds