was_timer_set 1064 drivers/infiniband/hw/i40iw/i40iw_cm.c u32 was_timer_set; was_timer_set 1109 drivers/infiniband/hw/i40iw/i40iw_cm.c was_timer_set = timer_pending(&cm_core->tcp_timer); was_timer_set 1111 drivers/infiniband/hw/i40iw/i40iw_cm.c if (!was_timer_set) {