Invalidate the level 1 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), the modified contents are lost and NOT written to the system memory before the lines are invalidated.
void Xil_L1DCacheInvalidateRange(u32 adr, u32 len);
The following table lists the
Xil_L1DCacheInvalidateRange function arguments.
|32bit start address of the range to be invalidated.
|Length of the range to be invalidated in bytes.