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.