Symbol: stop_timers
drivers/infiniband/hw/hfi1/init.c
1661
stop_timers(dd);
drivers/infiniband/hw/hfi1/init.c
1733
stop_timers(dd);