696 				struct compat_ipmi_msg __user *p32)  in get_compat_ipmi_msg()  argument
700 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_msg()
701 			__get_user(p64->netfn, &p32->netfn) ||  in get_compat_ipmi_msg()
702 			__get_user(p64->cmd, &p32->cmd) ||  in get_compat_ipmi_msg()
703 			__get_user(p64->data_len, &p32->data_len) ||  in get_compat_ipmi_msg()
704 			__get_user(tmp, &p32->data))  in get_compat_ipmi_msg()
711 				struct compat_ipmi_msg __user *p32)  in put_compat_ipmi_msg()  argument
713 	if (!access_ok(VERIFY_WRITE, p32, sizeof(*p32)) ||  in put_compat_ipmi_msg()
714 			__put_user(p64->netfn, &p32->netfn) ||  in put_compat_ipmi_msg()
715 			__put_user(p64->cmd, &p32->cmd) ||  in put_compat_ipmi_msg()
716 			__put_user(p64->data_len, &p32->data_len))  in put_compat_ipmi_msg()
722 				struct compat_ipmi_req __user *p32)  in get_compat_ipmi_req()  argument
727 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_req()
728 			__get_user(tmp, &p32->addr) ||  in get_compat_ipmi_req()
729 			__get_user(p64->addr_len, &p32->addr_len) ||  in get_compat_ipmi_req()
730 			__get_user(p64->msgid, &p32->msgid) ||  in get_compat_ipmi_req()
731 			get_compat_ipmi_msg(&p64->msg, &p32->msg))  in get_compat_ipmi_req()
738 		struct compat_ipmi_req_settime __user *p32)  in get_compat_ipmi_req_settime()  argument
740 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_req_settime()
741 			get_compat_ipmi_req(&p64->req, &p32->req) ||  in get_compat_ipmi_req_settime()
742 			__get_user(p64->retries, &p32->retries) ||  in get_compat_ipmi_req_settime()
743 			__get_user(p64->retry_time_ms, &p32->retry_time_ms))  in get_compat_ipmi_req_settime()
749 				 struct compat_ipmi_recv __user *p32)  in get_compat_ipmi_recv()  argument
753 	if (!access_ok(VERIFY_READ, p32, sizeof(*p32)) ||  in get_compat_ipmi_recv()
754 			__get_user(p64->recv_type, &p32->recv_type) ||  in get_compat_ipmi_recv()
755 			__get_user(tmp, &p32->addr) ||  in get_compat_ipmi_recv()
756 			__get_user(p64->addr_len, &p32->addr_len) ||  in get_compat_ipmi_recv()
757 			__get_user(p64->msgid, &p32->msgid) ||  in get_compat_ipmi_recv()
758 			get_compat_ipmi_msg(&p64->msg, &p32->msg))  in get_compat_ipmi_recv()
765 				 struct compat_ipmi_recv __user *p32)  in put_compat_ipmi_recv()  argument
767 	if (!access_ok(VERIFY_WRITE, p32, sizeof(*p32)) ||  in put_compat_ipmi_recv()
768 			__put_user(p64->recv_type, &p32->recv_type) ||  in put_compat_ipmi_recv()
769 			__put_user(p64->addr_len, &p32->addr_len) ||  in put_compat_ipmi_recv()
770 			__put_user(p64->msgid, &p32->msgid) ||  in put_compat_ipmi_recv()
771 			put_compat_ipmi_msg(&p64->msg, &p32->msg))  in put_compat_ipmi_recv()