Invalidate the Data cache for the given address range.
If the bytes specified by the address (adr) are cached by the Data cache,the cacheline containing that byte is invalidated. If the cacheline is modified (dirty), the modified contents are lost and are NOT written to system memory before the line is invalidated.
Prototype
void Xil_DCacheInvalidateRange(INTPTR adr, u32 len);Parameters
The following table lists the Xil_DCacheInvalidateRange function arguments.
| Name | Description |
|---|---|
| adr | 32-bit start address of the range to be invalidated. |
| len | Length of range to be invalidated in bytes. |