// // Flush cache helper function // __inline void FlushCache( void* pSrc, void* pDst, int size, UINT ffCache ) { UNREFERENCED_PARAMETER(size); UNREFERENCED_PARAMETER(pDst); UNREFERENCED_PARAMETER(pSrc); CacheRangeFlush(NULL, 0, ffCache == SOURCE_CACHED ? CACHE_SYNC_WRITEBACK : CACHE_SYNC_DISCARD ); }
void cache_flush_d_inval_i(void *start_addr, void *end_addr) { int size = end_addr - start_addr; CacheRangeFlush(start_addr, size, CACHE_SYNC_WRITEBACK); CacheRangeFlush(start_addr, size, CACHE_SYNC_INSTRUCTIONS); }