Changes

313 bytes added ,  12: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
 
| ConnectToPort
 
| ConnectToPort
| ??, pointer to port name
+
| ??<br><code>r1</code>: <code>pointer to port name</code>
| Result, handle to [[KClientSession]]
+
| <code>r0</code>: <code>Result</code><br><code>r1</code>: <code>handle to [[KClientSession]]</code>
 
|-
 
|-
 
| 0x32
 
| 0x32
 
| SendSyncRequest
 
| SendSyncRequest
| handle to [[KClientSession]]
+
| <code>r0</code>: <code>handle to [[KClientSession]]</code>
| Result
+
| <code>r0</code>: <code>Result<code>
 
|}
 
|}
15

edits