src/include/sys/task.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#ifndef __SYS_TASK_H
#define __SYS_TASK_H

#include <stdint.h>
#include <kernel/types.h>

#ifdef __cplusplus
extern "C" 
{
#endif

void task_yield();
tid_t task_create(void(*)(void*), void*);
void task_end();

tid_t task_gettid();
cpuid_t task_getcpuid();

#ifdef __cplusplus
}
#endif
#endif