sp32              747 drivers/char/ipmi/ipmi_devintf.c 		struct compat_ipmi_req_settime sp32;
sp32              749 drivers/char/ipmi/ipmi_devintf.c 		if (copy_from_user(&sp32, compat_ptr(arg), sizeof(sp32)))
sp32              752 drivers/char/ipmi/ipmi_devintf.c 		get_compat_ipmi_req_settime(&sp, &sp32);