sel4_sys
0.1.0
Module syscall_id
Constants
In crate sel4_sys
?
Settings
Module
sel4_sys
::
syscall_id
Copy item path
source
·
[
−
]
Constants
§
Call
DebugCapIdentify
DebugDumpScheduler
DebugHalt
DebugNameThread
DebugPutChar
DebugSnapshot
NBRecv
NBSend
NBSendRecv
NBSendWait
NBWait
Recv
ReplyRecv
Send
Wait
Yield