Line 9:
Line 9:
|-
|-
|DCFlushRange
|DCFlushRange
−
|<code>void DCFlushRange(void *addr, size_t length);</code>
+
|<code>void DCFlushRange(const void *addr, size_t length);</code>
|Flush the specified data cache blocks to memory
|Flush the specified data cache blocks to memory
|-
|-
|DCInvalidateRange
|DCInvalidateRange
−
|<code>void DCInvalidateRange(void *addr, size_t length);</code>
+
|<code>void DCInvalidateRange(const void *addr, size_t length);</code>
|Invalidate the specified data cache blocks
|Invalidate the specified data cache blocks
|-
|-
|ICInvalidateRange
|ICInvalidateRange
−
|<code>void ICInvalidateRange(void *addr, size_t length);</code>
+
|<code>void ICInvalidateRange(const void *addr, size_t length);</code>
|Invalidate the specified instruction cache blocks
|Invalidate the specified instruction cache blocks
|}
|}
Line 73:
Line 73:
|-
|-
|OSYieldThread
|OSYieldThread
−
|<code>void OSYieldThread();</code>
+
|<code>void OSYieldThread(void);</code>
|Yield control of the CPU, allowing another thread to run
|Yield control of the CPU, allowing another thread to run
|}
|}