Searched refs:cleanCacheRange_PoC (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dcache.c15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) function
35 cleanCacheRange_PoC(start, end, pstart);
63 cleanCacheRange_PoC(start, end, pstart);

Completed in 28 milliseconds