lwkt_sleep
if ((sentabort = lwkt_sleep("waitmsg", flags)) != 0) {
lwkt_sleep("waitabt", 0);
error = lwkt_sleep("waitport", flags);
int lwkt_sleep (const char *, int);