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)