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.
Prototype
void Xil_DCacheFlushRange(INTPTR adr, u32 len);
Parameters
The following table lists the Xil_DCacheFlushRange
function arguments.
Name | Description |
---|---|
adr | 32-bit start address of the range to be flushed. |
len | Length of range to be flushed in bytes. |