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

Functions

void ctxsw (void *, void *, uchar)
 
int resched (void)
 

Variables

int resdefer