Embedded Xinu Operating System
An ongoing research project and educational operating system.
|
#include <platform.h>
#include <string.h>
#include <thread.h>
#include <core.h>
Functions | |
tid_typ | create (void *procaddr, uint ssize, int priority, const char *name, int nargs,...) |
void | thrtab_acquire (tid_typ tid) |
void | thrtab_release (tid_typ tid) |