void eLIBs_FlushDCacheRegion(void *adr, __u32 bytes) { _eLIBs_CleanFlushDCacheRegion(adr, 1); _eLIBs_CleanFlushDCacheRegion((void *)((__u32)adr + bytes), 1); if(bytes > (1 << CLINE)) { _eLIBs_FlushDCacheRegion((void *)((__u32)adr + (1 << CLINE)), bytes); } }
void eLIBs_CleanFlushDCacheRegion(void *adr, __u32 bytes) { _eLIBs_CleanFlushDCacheRegion(adr, bytes + (1 << CLINE) * 2 - 2); }