Xil_DCacheStoreLine - 2021.1 English

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

Document ID
UG643
Release Date
2021-06-16
Version
2021.1 English

Store a Data cache line.

If the byte specified by the address (adr) is cached by the Data cache and the cacheline is modified (dirty), the entire contents of the cacheline are written to system memory. After the store completes, the cacheline is marked as unmodified (not dirty).

Note: The bottom 4 bits are set to 0, forced by architecture.

Prototype

void Xil_DCacheStoreLine(u32 adr);

Parameters

The following table lists the Xil_DCacheStoreLine function arguments.

Table 1. Xil_DCacheStoreLine Arguments
Name Description
adr 32bit address of the data to be stored.

Returns

None.