Xil_DCacheInvalidateRange - 2021.1 English

Xilinx Standalone Library Documentation OS and Libraries Document Collection (UG643)

Document ID
Release Date
2021.1 English

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.

Table 1. Xil_DCacheInvalidateRange Arguments
Name Description
adr 64bit start address of the range to be invalidated.
len Length of the range to be invalidated in bytes.