recv64 760 drivers/char/ipmi/ipmi_devintf.c struct ipmi_recv recv64; recv64 766 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_recv(&recv64, &recv32); recv64 770 drivers/char/ipmi/ipmi_devintf.c &recv64, copyout_recv32, compat_ptr(arg));