CPU Cache Management API#
CPU_DCACHE_RANGE_FLUSH()#
Description#
Flush (clean) a range of data cache.
Files#
cpu_cache.h/cpu_cache_\*.c
Prototype#
CPU_DCACHE_RANGE_FLUSH (void *addr_start,
CPU_ADDR len)
Arguments#
addr_start
Start address of the region to flush.
len
Size of the region to flush in bytes.
Returned Value#
None.
Notes / Warnings#
None.
CPU_DCACHE_RANGE_INV()#
Description#
Invalidate a range of data cache.
Files#
cpu_cache.h/cpu_cache_*.c
Prototype#
CPU_DCACHE_RANGE_INV (void *addr_start,
CPU_ADDR len)
Arguments#
addr_start
Start address of the region to invalidate.
len
Size of the region to invalidate in bytes.
Returned Value#
None.
Notes / Warnings#
None.
CPU_MB()#
Description#
Create a Full (read and write) memory barrier.
Files#
cpu_port.h
Prototype#
CPU_MB()
Arguments#
None.
Returned Value#
None.
Notes / Warnings#
None.
CPU_RMB()#
Description#
Create a Read (load) memory barrier.
Files#
cpu_port.h
Prototype#
CPU_RMB()
Arguments#
None.
Returned Value#
None.
Notes / Warnings#
None.
CPU_WMB()#
Description#
Create a Write (store) memory barrier.
Files#
cpu_port.h
Prototype#
CPU_WMB()
Arguments#
None.
Returned Value#
None.
Notes / Warnings#
None.