/*
 * RKT.cpp
 *
 *  Created on: Jun 13, 2018
 *      Author: OS1
 */
#include "RKT.h"
#include "Def.h"
#include "Timer.h"
#include "SysData.h"
#include "PCBList.h"
#include "PCB.h"
RunningKernelThread* RunningKernelThread::runningKernelThread = NULL;

void RunningKernelThread::run() {

	switch ((SysCallData::sysCallData->name)) {
	case THREADCONSTR:
		//implement thread constructor
		break;
	case SLEEP:
		//implement sleep
		break;
	case START: {
		PCBList::pcbList->getByID(SysCallData::sysCallData->threadID)->start();
		SysCallData::requested=0;
		asm int 64h;
		break;
	}
	case WAIT:
		break;
	case DISPATCH: {
		break;
	}
	case SEMWAIT:
		break;
	case SEMSIGNAL:
		break;
	case SEMCONSTR:

		break;
	default:
		break;
	};

}