recv32 761 drivers/char/ipmi/ipmi_devintf.c struct compat_ipmi_recv recv32; recv32 763 drivers/char/ipmi/ipmi_devintf.c if (copy_from_user(&recv32, compat_ptr(arg), sizeof(recv32))) recv32 766 drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_recv(&recv64, &recv32);