Invalidate the Data cache for the given address range.
The cachelines present in the adderss range are cleaned and invalidated
Note: In Cortex-A53, functionality to simply invalid the cachelines is not present. Such operations are a problem for an environment that supports virtualisation. It would allow one OS to invalidate a line belonging to another OS. This could lead to the other OS crashing because of the loss of essential data. Hence, such operations are promoted to clean and invalidate which avoids such corruption.
void Xil_DCacheInvalidateRange(INTPTR adr, INTPTR len);
The following table lists the
Xil_DCacheInvalidateRange function arguments.
|adr||64bit start address of the range to be invalidated.|
|len||Length of the range to be invalidated in bytes.|