low_record_time   695 drivers/infiniband/hw/mlx4/alias_GUID.c 	u64 low_record_time = 0;
low_record_time   705 drivers/infiniband/hw/mlx4/alias_GUID.c 			    rec.time_to_run < low_record_time) {
low_record_time   707 drivers/infiniband/hw/mlx4/alias_GUID.c 				low_record_time = rec.time_to_run;
low_record_time   714 drivers/infiniband/hw/mlx4/alias_GUID.c 		*resched_delay_sec = (low_record_time < curr_time) ? 0 :
low_record_time   715 drivers/infiniband/hw/mlx4/alias_GUID.c 			div_u64((low_record_time - curr_time), NSEC_PER_SEC);