check_start_timer_thread  924 drivers/char/ipmi/ipmi_si_intf.c 	check_start_timer_thread(smi_info);
check_start_timer_thread 1081 drivers/char/ipmi/ipmi_si_intf.c 	check_start_timer_thread(smi_info);