|  | @@ -5838,10 +5838,10 @@ test_util_monotonic_time(void *arg)
 | 
	
		
			
				|  |  |    tt_u64_op(usec1, OP_GE, nsec1 / 1000);
 | 
	
		
			
				|  |  |    tt_u64_op(msecc1, OP_GE, nsecc1 / 1000000);
 | 
	
		
			
				|  |  |    tt_u64_op(usecc1, OP_GE, nsecc1 / 1000);
 | 
	
		
			
				|  |  | -  tt_u64_op(msec1, OP_LE, nsec1 / 1000000 + 1);
 | 
	
		
			
				|  |  | -  tt_u64_op(usec1, OP_LE, nsec1 / 1000 + 1000);
 | 
	
		
			
				|  |  | -  tt_u64_op(msecc1, OP_LE, nsecc1 / 1000000 + 1);
 | 
	
		
			
				|  |  | -  tt_u64_op(usecc1, OP_LE, nsecc1 / 1000 + 1000);
 | 
	
		
			
				|  |  | +  tt_u64_op(msec1, OP_LE, nsec1 / 1000000 + 10);
 | 
	
		
			
				|  |  | +  tt_u64_op(usec1, OP_LE, nsec1 / 1000 + 10000);
 | 
	
		
			
				|  |  | +  tt_u64_op(msecc1, OP_LE, nsecc1 / 1000000 + 10);
 | 
	
		
			
				|  |  | +  tt_u64_op(usecc1, OP_LE, nsecc1 / 1000 + 10000);
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |    uint64_t coarse_stamp_diff =
 | 
	
		
			
				|  |  |      monotime_coarse_stamp_units_to_approx_msec(stamp2-stamp1);
 |