void armDCacheFlush(void *addr, size_t size)
Performs a data cache flush on the specified buffer.
void armDCacheZero(void *addr, size_t size)
Performs a data cache zeroing operation on the specified buffer.
void armICacheInvalidate(void *addr, size_t size)
Performs an instruction cache invalidation clean on the specified buffer.
void armDCacheClean(void *addr, size_t size)
Performs a data cache clean on the specified buffer.