Symbol: __ipmi_set_timeout
drivers/char/ipmi/ipmi_watchdog.c
438
rv = __ipmi_set_timeout(&smi_msg, &recv_msg, &send_heartbeat_now);
drivers/char/ipmi/ipmi_watchdog.c
500
rv = __ipmi_set_timeout(NULL, NULL, &send_heartbeat_now);