sel4_
sys
0.1.0
In sel4_
sys::
syscall_
id
Constants
Call
DebugCapIdentify
DebugDumpScheduler
DebugHalt
DebugNameThread
DebugPutChar
DebugSnapshot
NBRecv
NBSend
NBSendRecv
NBSendWait
NBWait
Recv
ReplyRecv
Send
Wait
Yield
sel4_sys
::
syscall_id
Constant
DebugDumpScheduler
Copy item path
Settings
Help
Summary
Source
pub const DebugDumpScheduler: i32 = -13i32;