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