Flush the Data cache for the given address range.
If the bytes specified by the address range are cached by the Data cache, the cachelines containing those bytes are invalidated. If the cachelines are modified (dirty), they are written to system memory before the lines are invalidated.
void Xil_DCacheFlushRange(INTPTR adr, u32 len);
The following table lists the
Xil_DCacheFlushRange function arguments.
|adr||32bit start address of the range to be flushed.|
|len||Length of range to be flushed in bytes.|