Symbol: get_compat_ipmi_msg
drivers/char/ipmi/ipmi_devintf.c
676
get_compat_ipmi_msg(&p64->msg, &p32->msg);
drivers/char/ipmi/ipmi_devintf.c
695
get_compat_ipmi_msg(&p64->msg, &p32->msg);