www.pudn.com > LFYOS.zip > 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;
}