Searched defs:plat_cleanInvalidateL2Range (Results 1 - 15 of 15) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/ |
H A D | hardware.c | 25 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/ |
H A D | hardware.c | 41 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/ |
H A D | hardware.c | 25 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/ |
H A D | hardware.c | 27 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/ |
H A D | hardware.c | 27 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/ |
H A D | hardware.c | 30 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/ |
H A D | hardware.c | 31 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/ |
H A D | hardware.c | 38 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/ |
H A D | hardware.h | 69 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/ |
H A D | hardware.c | 48 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/ |
H A D | hardware.c | 71 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
H A D | hardware.c | 123 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
|
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/ |
H A D | hardware.c | 131 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function
|
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | hardware.c | 193 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
H A D | l2c_310.c | 420 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function
|
Completed in 60 milliseconds