Symbol: wait_msg_processed
drivers/char/ipmi/ipmi_si_intf.c
2283
wait_msg_processed(smi_info);
drivers/char/ipmi/ipmi_si_intf.c
2288
wait_msg_processed(smi_info);