Data Cache Block Flush
Copies the contents of a modified block from the data cache to main memory and flushes the copy from the data cache.
void __dcbf(const void* addr);