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);