Cortex_M.Cache

Entities

Subprograms

• Clean_DCache
• Clean_Invalidate_DCache
• D_Cache_Enabled
• Disable_D_Cache
• Disable_I_Cache
• Enable_D_Cache
• Enable_I_Cache
• I_Cache_Enabled
• Invalidate_DCache

Description

This file provides subprograms necessary to handle the cache on the Cortex-M7 family of CPU.

Clean_DCache

procedure Clean_DCache
  (Start : System.Address;
   Len   : Natural)

This ensures that the data cache region do not contain any "dirty" data, which is data that has been modified by the CPU but has not been synchronized yet with the main memory. This make sure that any peripheral accessing the region will see the updated data.

Parameters

Start

Len

Clean_Invalidate_DCache

procedure Clean_Invalidate_DCache
  (Start : System.Address;
   Len   : Natural)

Performs both clean and invalidate operations.

Parameters

Start

Len

D_Cache_Enabled

function D_Cache_Enabled return Boolean

Return Value

Disable_D_Cache

procedure Disable_D_Cache

Disable_I_Cache

procedure Disable_I_Cache

Enable_D_Cache

procedure Enable_D_Cache

Enable_I_Cache

procedure Enable_I_Cache

I_Cache_Enabled

function I_Cache_Enabled return Boolean

Return Value

Invalidate_DCache

procedure Invalidate_DCache
  (Start : System.Address;
   Len   : Natural)

Invalidates the Data Cache for the specified region. Note that if the cache is dirty (e.g. contains updated data that has not been synchronized with the main memory), then such data will be lost. Calling this subprogram ensures that the main memory will be read instead of values from the cache.

Parameters

Start

Len