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);