/* add_virt_timer_int - add an interval virtual CPU timer  */
void add_virt_timer_periodic(void *new)
/* add_virt_timer_int - add an interval virtual CPU timer  */
void add_virt_timer_periodic(void *new)
{
	struct vtimer_list *timer;
	timer = (struct vtimer_list *)new;
	prepare_vtimer(timer);
	timer->interval = timer->expires;
	internal_add_vtimer(timer);
}