ticks = tmp.tv_usec; ticks = (ticks + (1000000 / HZ) - 1) / (1000000 / HZ); ticks += tmp.tv_sec * HZ; 
ticks = timeval_to_jiffies(&tmp); 
osf_usleep_thread(struct timeval32 __user *sleep, struct timeval32 __user *remain){	struct timeval tmp;	unsigned long ticks;	if (get_tv32(&tmp, sleep))		goto fault;	ticks = tmp.tv_usec;	ticks = (ticks + (1000000 / HZ) - 1) / (1000000 / HZ);	ticks += tmp.tv_sec * HZ;	current->state = TASK_INTERRUPTIBLE;	ticks = schedule_timeout(ticks);	if (remain) {		tmp.tv_sec = ticks / HZ;		tmp.tv_usec = ticks % HZ;		if (put_tv32(remain, &tmp))			goto fault;	}		return 0; fault:	return -EFAULT;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/24d568ed1b97cb93c2a917cd90296655a8b661a6/osf_sys.c/buggy/arch/alpha/kernel/osf_sys.c