if ((tp->tv_nsec - NSEC_PER_SEC) > 0) { tp->tv_nsec -= NSEC_PER_SEC; tp->tv_sec++; } 
static int do_posix_clock_monotonic_get(clockid_t clock, struct timespec *tp){	struct timespec wall_to_mono;	do_posix_clock_monotonic_gettime_parts(tp, &wall_to_mono);	tp->tv_sec += wall_to_mono.tv_sec;	tp->tv_nsec += wall_to_mono.tv_nsec;	if ((tp->tv_nsec - NSEC_PER_SEC) > 0) {		tp->tv_nsec -= NSEC_PER_SEC;		tp->tv_sec++;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3f39894d1b5c253b10fcb8fbbbcf65a330f6cdc7/posix-timers.c/clean/kernel/posix-timers.c