Symbol: check_start_timer_thread
drivers/char/ipmi/ipmi_si_intf.c
1098
check_start_timer_thread(smi_info);
drivers/char/ipmi/ipmi_si_intf.c
953
check_start_timer_thread(smi_info);