Home
last modified time | relevance | path

Searched refs:plat_cleanInvalidateL2Range (Results 1 – 8 of 8) sorted by relevance

/seL4-master/src/arch/arm/machine/
A Dl2c_nop.c15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() function
A Dcache.c41 plat_cleanInvalidateL2Range(pstart, pstart + (end - start)); in cleanInvalidateCacheRange_RAM()
A Dl2c_310.c417 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) in plat_cleanInvalidateL2Range() function
/seL4-master/include/arch/arm/arch/machine/
A Dl2c_310.h22 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
/seL4-master/src/plat/omap3/machine/
A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() function
/seL4-master/src/plat/allwinnerA20/machine/
A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() function
/seL4-master/src/plat/am335x/machine/
A Dl2cache.c39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range() function
/seL4-master/include/arch/arm/arch/
A Dmachine.h29 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);

Completed in 9 milliseconds