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
SendIPI
Debug
Snapshot
NBRecv
NBSend
Recv
Reply
Reply
Recv
Send
Yield