sel4_
sys
0.1.0
Module syscall_
id
Module Items
Constants
In crate sel4_
sys
sel4_sys
Module
syscall_id
Copy item path
Source
Constants
ยง
Call
Debug
CapIdentify
Debug
Dump
Scheduler
Debug
Halt
Debug
Name
Thread
Debug
PutChar
Debug
Snapshot
NBRecv
NBSend
Recv
Reply
Reply
Recv
Send
Yield