if (nsec > NSEC_PER_SEC) { 
if (nsec >= NSEC_PER_SEC) { 
static void tstojiffie(struct timespec *tp, int res, u64 *jiff){	long sec = tp->tv_sec;	long nsec = tp->tv_nsec + res - 1;	if (nsec > NSEC_PER_SEC) {		sec++;		nsec -= NSEC_PER_SEC;	}	/*	 * The scaling constants are defined in <linux/time.h>	 * The difference between there and here is that we do the	 * res rounding and compute a 64-bit result (well so does that	 * but it then throws away the high bits).  	 */	*jiff =  (mpy_l_X_l_ll(sec, SEC_CONVERSION) +		  (mpy_l_X_l_ll(nsec, NSEC_CONVERSION) >> 		   (NSEC_JIFFIE_SC - SEC_JIFFIE_SC))) >> SEC_JIFFIE_SC;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3f39894d1b5c253b10fcb8fbbbcf65a330f6cdc7/posix-timers.c/clean/kernel/posix-timers.c