Module sel4_sys::syscall_id

Constants

• Call
• DebugCapIdentify
• DebugDumpScheduler
• DebugHalt
• DebugNameThread
• DebugPutChar
• DebugSnapshot
• NBRecv
• NBSend
• NBSendRecv
• NBSendWait
• NBWait
• Recv
• ReplyRecv
• Send
• Wait
• Yield