52extern tid_t execi(
int (*code_start) (
int,
char **),
int argc,
char **argv,
58extern void shutdown_task(
tid_t tid);
64extern void shutdown_tasks(
tflags_t flags);
70extern void kill(
tid_t tid);
81extern void exit(
int code) __attribute__((noreturn));
86extern void yield(
void);
102extern unsigned int sleep(
unsigned int sec);
109extern unsigned int msleep(
unsigned int msec);
116 while (!(res = wakeup(data)))
122#define sleep(s) delay(1000*(s))
123#define msleep(s) delay(s)
Interface: Time-related data and types.
Interface: task management.
volatile unsigned char tflags_t
task flags type
signed int tid_t
task id type
unsigned long wakeup_t
wakeup data area type
unsigned char priority_t
task priority type
wakeup_t wait_event(wakeup_t(*wakeup)(wakeup_t), wakeup_t data)