Module syscall_id 

Constants

Call

DebugCapIdentify

DebugDumpScheduler

DebugHalt

DebugNameThread

DebugPutChar

DebugSendIPI

DebugSnapshot

NBRecv

NBSend

NBSendRecv

NBSendWait

NBWait

Recv

ReplyRecv

Send

Wait

Yield