Searched defs:initL2Cache (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/plat/apq8064/machine/
H A Dl2cache.c12 void initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/bcm2837/machine/
H A Dl2cache.c13 void initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dl2cache.c14 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/
H A Dl2cache.c16 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/
H A Dl2cache.c16 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/exynos5/machine/
H A Dl2cache.c11 void initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/
H A Dl2cache.c28 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dl2cache.c28 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/omap3/machine/
H A Dl2cache.c28 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/hikey/machine/
H A Dhardware.c23 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/imx7/machine/
H A Dhardware.c25 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/zynqmp/machine/
H A Dhardware.c31 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c152 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c201 initL2Cache(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dl2c_310.c249 initL2Cache(void) function

Completed in 60 milliseconds