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;