Xil_DCacheFlushRange - Xil_DCacheFlushRange - 2021.1 English - UG643

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

Document_ID
UG643
Release_Date
2021-06-16
Version
2021.1 English

Flush 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 those bytes is invalidated.If the cacheline is modified (dirty), the written to system memory before the lines are invalidated.

Prototype

void Xil_DCacheFlushRange(INTPTR adr, u32 len);

Parameters

The following table lists the Xil_DCacheFlushRange function arguments.

Table 1. Xil_DCacheFlushRange Arguments
Name Description
adr 32bit start address of the range to be flushed.
len Length of the range to be flushed in bytes

Returns

None.