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