stop_timers      1746 drivers/infiniband/hw/hfi1/init.c 		stop_timers(dd);
stop_timers      1818 drivers/infiniband/hw/hfi1/init.c 	stop_timers(dd);