Keil RTX51 Manual page 35

RTX Tiny
#include <stdio.h>
void tst_os_wait (void) _task_ 9
{
while (1)
{
char event;
event = os_wait (K_SIG + K_TMO, 50, 0);
switch (event)
{
default:
/* this should never happen */
break;
case TMO_EVENT:
/* 50 tick time-out occurred */
break;
case SIG_EVENT:
/* signal received */
break;
}
}
}
/* for printf */
/* time-out */
/* signal recvd */
35
4