7#define THREAD_RUNNABLE 1
10typedef uint32_t tid_t;
11typedef int (*thread_entry_t)(void);
17 thread_entry_t entryPoint;
22extern void threadSwitch(Thread* from, Thread* to);
24Thread* createThread(thread_entry_t entry,
size_t stackSize);
Common definitions for C programs.
Fixed-width integer types.