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