/* Start the virtual CPU timer on the current CPU.  */
void init_cpu_vtimer(void)
/* Start the virtual CPU timer on the current CPU.  */
void init_cpu_vtimer(void)
{
	struct vtimer_queue *vq;
	vq = &__get_cpu_var(virt_cpu_timer);
	INIT_LIST_HEAD(&vq->list);
	spin_lock_init(&vq->lock);
	__ctl_set_bit(0,10);
}