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