Embedded Xinu Operating System
An ongoing research project and educational operating system.
 All Data Structures Files Functions Variables Typedefs Enumerations Macros Groups Pages
Functions
kill.c File Reference
#include <thread.h>
#include <queue.h>
#include <memory.h>
#include <safemem.h>

Functions

void xdone (void)
 
syscall kill (tid_typ tid)