/* returns whether it has modified a pending timer (1) or not (0)  */
int mod_virt_timer(struct vtimer_list *timer, __u64 expires)
/* returns whether it has modified a pending timer (1) or not (0)  */
int mod_virt_timer(struct vtimer_list *timer, __u64 expires)
{
	return __mod_vtimer(timer, expires, 0);
}