Searched defs:plat_cleanInvalidateL2Range (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dl2c_nop.c15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
H A Dl2c_310.c414 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function
/seL4-l4v-master/seL4/src/plat/am335x/machine/
H A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
/seL4-l4v-master/seL4/src/plat/allwinnerA20/machine/
H A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
/seL4-l4v-master/seL4/src/plat/omap3/machine/
H A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} function
/seL4-l4v-master/seL4/src/plat/imx31/machine/
H A Dhardware.c118 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function
/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dhardware.c263 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) function

Completed in 50 milliseconds