#if !defined(PROC_SCHED_H)
#define PROC_SCHED_H

/*
 * process scheduing constructs
 * 
 */

#include "dllist.h"
#include "simulator.h"

struct PCB_struct
{
	int registers[NumTotalRegs];
};


extern Dllist readyq;
extern struct PCB_struct *Current_pcb;
extern int Idle;
extern void *InitUserProcess(void *arg);
extern void ScheduleProcess();
extern void SysCallReturn(struct PCB_struct *pcb, int return_val);

#endif