700 				struct compat_ipmi_msg __user *p32)  in get_compat_ipmi_msg()  argument
704 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_msg()
705 			__get_user(p64->netfn, &p32->netfn) ||  in get_compat_ipmi_msg()
706 			__get_user(p64->cmd, &p32->cmd) ||  in get_compat_ipmi_msg()
707 			__get_user(p64->data_len, &p32->data_len) ||  in get_compat_ipmi_msg()
708 			__get_user(tmp, &p32->data))  in get_compat_ipmi_msg()
715 				struct compat_ipmi_msg __user *p32)  in put_compat_ipmi_msg()  argument
717 	if (!access_ok(VERIFY_WRITE, p32, sizeof(*p32)) ||  in put_compat_ipmi_msg()
718 			__put_user(p64->netfn, &p32->netfn) ||  in put_compat_ipmi_msg()
719 			__put_user(p64->cmd, &p32->cmd) ||  in put_compat_ipmi_msg()
720 			__put_user(p64->data_len, &p32->data_len))  in put_compat_ipmi_msg()
726 				struct compat_ipmi_req __user *p32)  in get_compat_ipmi_req()  argument
731 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_req()
732 			__get_user(tmp, &p32->addr) ||  in get_compat_ipmi_req()
733 			__get_user(p64->addr_len, &p32->addr_len) ||  in get_compat_ipmi_req()
734 			__get_user(p64->msgid, &p32->msgid) ||  in get_compat_ipmi_req()
735 			get_compat_ipmi_msg(&p64->msg, &p32->msg))  in get_compat_ipmi_req()
742 		struct compat_ipmi_req_settime __user *p32)  in get_compat_ipmi_req_settime()  argument
744 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_req_settime()
745 			get_compat_ipmi_req(&p64->req, &p32->req) ||  in get_compat_ipmi_req_settime()
746 			__get_user(p64->retries, &p32->retries) ||  in get_compat_ipmi_req_settime()
747 			__get_user(p64->retry_time_ms, &p32->retry_time_ms))  in get_compat_ipmi_req_settime()
753 				 struct compat_ipmi_recv __user *p32)  in get_compat_ipmi_recv()  argument
757 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_recv()
758 			__get_user(p64->recv_type, &p32->recv_type) ||  in get_compat_ipmi_recv()
759 			__get_user(tmp, &p32->addr) ||  in get_compat_ipmi_recv()
760 			__get_user(p64->addr_len, &p32->addr_len) ||  in get_compat_ipmi_recv()
761 			__get_user(p64->msgid, &p32->msgid) ||  in get_compat_ipmi_recv()
762 			get_compat_ipmi_msg(&p64->msg, &p32->msg))  in get_compat_ipmi_recv()
769 				 struct compat_ipmi_recv __user *p32)  in put_compat_ipmi_recv()  argument
771 	if (!access_ok(VERIFY_WRITE, p32, sizeof(*p32)) ||  in put_compat_ipmi_recv()
772 			__put_user(p64->recv_type, &p32->recv_type) ||  in put_compat_ipmi_recv()
773 			__put_user(p64->addr_len, &p32->addr_len) ||  in put_compat_ipmi_recv()
774 			__put_user(p64->msgid, &p32->msgid) ||  in put_compat_ipmi_recv()
775 			put_compat_ipmi_msg(&p64->msg, &p32->msg))  in put_compat_ipmi_recv()