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; 
}