52 extern tid_t execi(
int (*code_start) (
int,
char **),
int argc,
char **argv,
81 extern void exit(
int code) __attribute__((noreturn));
86 extern void yield(
void);
102 extern unsigned int sleep(
unsigned int sec);
109 extern unsigned int msleep(
unsigned int msec);
116 while (!(res = wakeup(data)))
122 #define sleep(s) delay(1000*(s)) 123 #define msleep(s) delay(s) 130 #endif // __unistd_h__ Interface: Time-related data and types.
unsigned char priority_t
task priority type
void shutdown_tasks(tflags_t flags)
signed int tid_t
task id type
void killall(priority_t p)
unsigned long wakeup_t
wakeup data area type
tid_t execi(int(*code_start)(int, char **), int argc, char **argv, priority_t priority, size_t stack_size)
void shutdown_task(tid_t tid)
Interface: task management.
volatile unsigned char tflags_t
task flags type
void exit(int code) __attribute__((noreturn))
unsigned int sleep(unsigned int sec)
delay execution allowing other tasks to run
void yield(void)
current task yields the rest of timeslice
unsigned int msleep(unsigned int msec)
wakeup_t wait_event(wakeup_t(*wakeup)(wakeup_t), wakeup_t data)