|
Embedded Xinu Operating System
An ongoing research project and educational operating system.
|
#include <thread.h>#include <clock.h>#include <queue.h>#include <memory.h>Functions | |
| void | ctxsw (void *, void *, uchar) |
| int | resched (void) |
Variables | |
| int | resdefer |
1.8.5