arch1.c

国内一位牛人自己开发的操作系统

#include"kernel.h"

int lock_os_kernel()
{
	return FALSE;
}

void unlock_os_kernel()
{
	return;
}

static int current_cpu=0;

int get_virtual_cpu()
{
	return current_cpu;
}

int switch_virtual_cpu()
{
	if(VIRTUAL_CPU_NUMBER<=1)
		return 0;
	RESET_CPU_INFORMATION(os->virtual_cpu.used_cpu[current_cpu]);
	current_cpu=(1+current_cpu)%VIRTUAL_CPU_NUMBER;
	RESET_CPU_INFORMATION(os->virtual_cpu.used_cpu[current_cpu]);
	return current_cpu;
}