Changes

160 bytes added ,  11:35, 12 August 2023
Specify GetSystemTick ABI
Line 167: Line 167:  
| Timer handle, initial_low, interval_low, initial_high, interval_high
 
| Timer handle, initial_low, interval_low, initial_high, interval_high
 
| Result
 
| Result
 +
|-
 +
| 0x28
 +
| GetSystemTick
 +
| None
 +
|
 +
<code>r0</code>: <code>Low 32 bits of the tick count</code>
 +
<br><code>r1</code>: <code>High 32 bits of the tick count</code>
 
|-
 
|-
 
| 0x2D
 
| 0x2D
Trusted
21

edits