__ipmi_set_timeout  427 drivers/char/ipmi/ipmi_watchdog.c 	rv = __ipmi_set_timeout(&smi_msg,
__ipmi_set_timeout  528 drivers/char/ipmi/ipmi_watchdog.c 	rv = __ipmi_set_timeout(&panic_halt_smi_msg,