SEND_RESCHED_TIMEOUT  567 drivers/infiniband/hw/hfi1/ruc.c 		ps.timeout_int = SEND_RESCHED_TIMEOUT;
SEND_RESCHED_TIMEOUT  571 drivers/infiniband/hw/hfi1/ruc.c 		ps.timeout_int = SEND_RESCHED_TIMEOUT;