get_compat_ipmi_msg 678 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_msg(&p64->msg, &p32->msg); get_compat_ipmi_msg 697 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_msg(&p64->msg, &p32->msg);