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 |