Searched defs:plat_cleanInvalidateCache (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/
H A Dl2cache.c15 void plat_cleanInvalidateCache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/
H A Dhardware.c26 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dhardware.c26 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/
H A Dhardware.c28 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/
H A Dhardware.c28 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/
H A Dhardware.c31 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/
H A Dhardware.c32 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/
H A Dhardware.c39 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h70 static inline void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/
H A Dhardware.c49 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dhardware.c72 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c124 void plat_cleanInvalidateCache(void) {} function
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c145 void plat_cleanInvalidateCache(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dl2c_310.c363 void plat_cleanInvalidateCache(void) function

Completed in 43 milliseconds