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