void osDCacheFlush(void* addr, size_t size);