Received: by 2002:a25:5b86:0:0:0:0:0 with SMTP id p128csp1545413ybb; Fri, 29 Mar 2019 06:41:02 -0700 (PDT) X-Google-Smtp-Source: APXvYqwp7dpKu7F1zQFpL7ZlczNklhbxk0rW+AcOVKtY33v5ybewTCEUfVmQ6XZCzbDrNUa2qATr X-Received: by 2002:a63:ff1d:: with SMTP id k29mr46585126pgi.258.1553866861951; Fri, 29 Mar 2019 06:41:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1553866861; cv=none; d=google.com; s=arc-20160816; b=qpVr6PWevS15gGQehVMoiTzOXSub2bp55syyfSfbASiOVAygn751gEpxrVa5NHMF5s hStmXKlnGS/0wcm9tCFDybasvlj9SD/EYoG84HNRoaxFJE/U1r2ScomLZQxQm+c3zaRS 8WaiVV/M/+MeQ0LmJgjO1TjAfZvax9qBJQg/NTIkxUmfKrKnky1S1GiwCKyVs9IzuR5H YXJTl5xKncFJ1cf8b2zlJD7Vm4xmSi/G27CcJaMS0/GheCRfaqwVU7rG91dVBep3gS+s TcvNXbG+DaOqK1F9ZtYSwXYE4PxMhj8Bp25rJWMwGzNo5pNw6V/97u1TAslIjLqZ4OzN lEdQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature; bh=8UJGxHgNWNlb/b97npVUdXIBVRMk24J4crSpgBzNlDk=; b=Smvth72wNQpUVA4ihklTLPrpS1SnjObT3WgYr5rkmr9jvgQhV9Ai/nZG/9WEgu+4Jl Sg/TOc/YQB0LvjRFoDBj3424Lz69Z55iXyaYX0vw9WBvTBmw3on/PlEmBB4BdZgrHSbV WomPA60EfzxpNip7p5aN8usOhvRDbseojX2apcS0bG9txFOvc6Xl6sCdrcT9veABBQKU K1SpjjWL0RPaVvp3a9ckrU/aydGJnyDybsFjNqRsfR/Z1tChKpiQXLe4qKei6vRcCr44 cBWH1dCQEPKoXk3ZrfntgRKrCTRZP7K8DJ/Py3ZHKsLhm9SIcpxFDQFB4KdeaeGCcObE a2Kg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@alien8.de header.s=dkim header.b=qw6yTc7b; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=alien8.de Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id d6si1891901pfh.177.2019.03.29.06.40.46; Fri, 29 Mar 2019 06:41:01 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@alien8.de header.s=dkim header.b=qw6yTc7b; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=alien8.de Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729691AbfC2Nj4 (ORCPT + 99 others); Fri, 29 Mar 2019 09:39:56 -0400 Received: from mail.skyhub.de ([5.9.137.197]:38582 "EHLO mail.skyhub.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729644AbfC2Nj4 (ORCPT ); Fri, 29 Mar 2019 09:39:56 -0400 Received: from zn.tnic (p200300EC2F148A00C1243160B4274091.dip0.t-ipconnect.de [IPv6:2003:ec:2f14:8a00:c124:3160:b427:4091]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.skyhub.de (SuperMail on ZX Spectrum 128k) with ESMTPSA id 6203A1EC023E; Fri, 29 Mar 2019 14:39:54 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alien8.de; s=dkim; t=1553866794; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:in-reply-to:in-reply-to: references:references; bh=8UJGxHgNWNlb/b97npVUdXIBVRMk24J4crSpgBzNlDk=; b=qw6yTc7bKo/HLFRG5k8fQO2PiVFy5Mfc8bSkYhd4ySmhiu0NNSxLrdZOBQwIJDih9MQC5a gtWQ4BBW+65lhl228C1+j9Y3hq+bSDbZg6J00/GUz6U9UL4Mf4qpb2Sph/bSRCBcy2EWYy r9fjAVrq3ocji8h+lB2wkr5HZnw2gzc= Date: Fri, 29 Mar 2019 14:39:56 +0100 From: Borislav Petkov To: Jann Horn Cc: Thomas Gleixner , Ingo Molnar , "H. Peter Anvin" , x86@kernel.org, linux-kernel@vger.kernel.org, Andrew Morton , Qiaowei Ren , Ben Dooks Subject: Re: [PATCH 2/2] x86: fix __user annotations Message-ID: <20190329133956.GE21152@zn.tnic> References: <20190328212321.92463-1-jannh@google.com> <20190328212321.92463-2-jannh@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20190328212321.92463-2-jannh@google.com> User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Mar 28, 2019 at 10:23:21PM +0100, Jann Horn wrote: > Fix __user annotations in various places across the x86 tree: > > - cast to wrong pointer type in __user_atomic_cmpxchg_inatomic() > - generic_load_microcode() deals with a pointer that can be either a > kernel pointer or a user pointer; change the code to pass it around as > a __user pointer, and add explicit casts to convert between __user and > __kernel > - save_xstate_epilog() has missing __user in explicit casts > - setup_sigcontext() and x32_setup_rt_frame() rely on the cast performed > by put_user_ex() on its first argument, but sparse requires __force for > casting __user pointers to unsigned long > - xen_hvm_config() has missing __user > > This patch removes all sparse warnings about the asn:1 address space > (__user) in arch/x86/ for my kernel config. > > Signed-off-by: Jann Horn > --- > This patch requires the previous one, "[PATCH 1/2] kernel.h: use > parentheses around argument in u64_to_user_ptr()", otherwise > xen_hvm_config() breaks. Can we take both together through the x86 tree, > or does the first one have to go through akpm's tree? I don't see why not, unless akpm has objections. However, > arch/x86/include/asm/uaccess.h | 3 +-- > arch/x86/include/asm/uaccess_64.h | 2 +- This chunk is being discussed here already: https://lkml.kernel.org/r/20190228185027.2480-1-ben.dooks@codethink.co.uk and I'd like to take Ben's v2 when Ben adds Linus' explanation. Then, it would be probably easier if you could split that patch into: > arch/x86/kernel/cpu/microcode/intel.c | 20 ++++++++++++-------- microcode > arch/x86/kernel/fpu/signal.c | 6 +++--- > arch/x86/kernel/signal.c | 4 ++-- fpu patch > arch/x86/kvm/x86.c | 8 ++++---- kvm patch which would make review/merging/etc considerably easier. Thx. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.