compat_ipmi_msg 643 drivers/char/ipmi/ipmi_devintf.c struct compat_ipmi_msg msg; compat_ipmi_msg 651 drivers/char/ipmi/ipmi_devintf.c struct compat_ipmi_msg msg; compat_ipmi_msg 664 drivers/char/ipmi/ipmi_devintf.c struct compat_ipmi_msg *p32)