cbrkint
chprio
clkint
conf
create
ctxsw
die
eidi
freemem
getitem
getmem
getnok
getpid
getprio
initiali
insert
intmap
isownstk
kill
map
nullfun
panic
queue
ready
receive
recvclr
resched
resume
scount
screate
sdelete
send
sendf
sendn
setnok
signal
signaln
sreset
stack
suspend
userret
wait
xdone
xeidi
