![]() |
RTEMS 6.1-rc1
|
#include "xil_types.h"
Go to the source code of this file.
Functions | |
void | Xil_DCacheEnable (void) |
Enable the Data cache. More... | |
void | Xil_DCacheDisable (void) |
Disable the Data cache. More... | |
void | Xil_DCacheInvalidate (void) |
Invalidate the Data cache. The contents present in the cache are cleaned and invalidated. More... | |
void | Xil_DCacheInvalidateRange (INTPTR adr, u32 len) |
Invalidate 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 that byte is invalidated. If the cacheline is modified (dirty), the modified contents are lost and are NOT written to system memory before the line is invalidated. More... | |
void | Xil_DCacheFlush (void) |
Flush the Data cache. More... | |
void | Xil_DCacheFlushRange (INTPTR adr, u32 len) |
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. More... | |
void | Xil_DCacheInvalidateLine (INTPTR adr) |
Invalidate a Data cache line. The cacheline is cleaned and invalidated. More... | |
void | Xil_DCacheFlushLine (INTPTR adr) |
Flush a Data cache line. If the byte specified by the address (adr) is cached by the Data cache, the cacheline containing that byte is invalidated. If the cacheline is modified (dirty), the entire contents of the cacheline are written to system memory before the line is invalidated. More... | |
void | Xil_DCacheStoreLine (INTPTR adr) |
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). More... | |
void | Xil_ICacheEnable (void) |
Enable the instruction cache. More... | |
void | Xil_ICacheDisable (void) |
Disable the instruction cache. More... | |
void | Xil_ICacheInvalidate (void) |
Invalidate the entire instruction cache. More... | |
void | Xil_ICacheInvalidateRange (INTPTR adr, u32 len) |
Invalidate the instruction cache for the given address range. If the bytes specified by the address (adr) are cached by the Data cache, the cacheline containing that byte is invalidated. If the cachelineis modified (dirty), the modified contents are lost and are NOT written to system memory before the line is invalidated. More... | |
void | Xil_ICacheInvalidateLine (INTPTR adr) |
Invalidate an instruction cache line. If the instruction specified by the parameter adr is cached by the instruction cache, the cacheline containing that instruction is invalidated. More... | |