/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
H A D | l2c_310.h | 25 void plat_cleanL2Range(paddr_t start, paddr_t end);
|
/seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/ |
H A D | hardware.c | 28 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/ |
H A D | hardware.c | 29 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/ |
H A D | hardware.c | 23 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/ |
H A D | hardware.c | 25 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/ |
H A D | hardware.c | 25 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/ |
H A D | hardware.c | 36 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/ |
H A D | hardware.c | 23 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/ |
H A D | hardware.h | 67 static inline void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/ |
H A D | hardware.c | 46 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/ |
H A D | hardware.c | 39 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/ |
H A D | hardware.h | 87 void plat_cleanL2Range(paddr_t start, paddr_t end);
|
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/ |
H A D | hardware.c | 69 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/ |
H A D | machine.h | 33 static inline void plat_cleanL2Range(paddr_t start, paddr_t end);
|
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
H A D | hardware.c | 121 void plat_cleanL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/ |
H A D | hardware.c | 102 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | hardware.c | 186 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
H A D | cache.c | 82 plat_cleanL2Range(pstart, pstart + (end - start));
|
H A D | l2c_310.c | 385 void plat_cleanL2Range(paddr_t start, paddr_t end) function
|