aspm_ts_timer_sched  149 drivers/infiniband/hw/hfi1/aspm.c 	restart_timer = ktime_to_ns(ktime_sub(now, rcd->aspm_ts_timer_sched)) >
aspm_ts_timer_sched  163 drivers/infiniband/hw/hfi1/aspm.c 		rcd->aspm_ts_timer_sched = now;
aspm_ts_timer_sched  277 drivers/infiniband/hw/hfi1/hfi.h 	ktime_t aspm_ts_timer_sched;