From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <peterz@infradead.org>
X-Google-Smtp-Source: AH8x225tJ20RmiuvKLCjnSfrzJQPbiH1188gybCacd32wW2fMqyTh0Eyz4Vw2CqUxWvOwknzw2Wo
ARC-Seal: i=1; a=rsa-sha256; t=1516721575; cv=none;
        d=google.com; s=arc-20160816;
        b=OmDa7zy+TuYpVxsxp57HTp6PY5+BVEt+/cTsmHFBQZC4smwg/2noSZgjeHZGwcA9gw
         SCIq+ah0x63jnpCg24vtc9ewAeaRzAUHhEkb2QAdfABLR+AnH21fhCmfsyJWpIVZNXl5
         C/TzLIjl99T9WO4p9sCifTrODOH+0awk4se3Jmdx4LnzVJdNJ86bpvY8XNelUMDkMiXF
         xfPB7hYmoyzEPwCVf/QurK7F8OIt5MKPuhgQzQ0+Y6kt76cNgQwzAs2DlSGIcwAYm7qQ
         K+tp/GG79DLpsj2aI80jIVju5/Hgetd+RE2+jbhCIfBOYyfD1H+ibP2HniFSowpWRqPG
         7oNw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=subject:cc:to:from:date:user-agent:message-id:dkim-signature
         :arc-authentication-results;
        bh=zHbc+kz0nERVccQYIy+tmkCx0uHEKWVsmMAtbJ1f4hw=;
        b=zldZVPacm5eyZ0820JrwsLtOLxUrLGQv068d46Id/aksCsZiJWc2DlwGgfZm3xnUiu
         q57sOuJoJi7Q9aS71koRqiHK9am0oZ8IZF5+TN5dF8StvUY340YQs/AnU7xepqjtowiI
         0kPaBCtyMSxb4dcm+w6EWCgmplrBlflTpFUCon9EnWrpO64lXetP94MZmj3VnwUbS8wO
         MxF75MemDVQnw2A4o2zy93QW/4IpRxPsQ4jVCX9izowmm0Gtu3H+jpPNgxt0ad9iMjJL
         tEBdUJk6fUBP43SzNDeGj3LJw7tqzj0E8jx51VsvNmyMmBnLrZFDiZ2ezsx2bJuKcarG
         S1+A==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@infradead.org header.s=bombadil.20170209 header.b=YdQL9Jkc;
       spf=pass (google.com: best guess record for domain of peterz@infradead.org designates 65.50.211.133 as permitted sender) smtp.mailfrom=peterz@infradead.org
Authentication-Results: mx.google.com;
       dkim=pass header.i=@infradead.org header.s=bombadil.20170209 header.b=YdQL9Jkc;
       spf=pass (google.com: best guess record for domain of peterz@infradead.org designates 65.50.211.133 as permitted sender) smtp.mailfrom=peterz@infradead.org
Message-Id: <20180123152539.374360046@infradead.org>
User-Agent: quilt/0.63-1
Date: Tue, 23 Jan 2018 16:25:39 +0100
From: Peter Zijlstra <peterz@infradead.org>
To: David Woodhouse <dwmw2@infradead.org>,
 Thomas Gleixner <tglx@linutronix.de>,
 Josh Poimboeuf <jpoimboe@redhat.com>
Cc: linux-kernel@vger.kernel.org,
 Dave Hansen <dave.hansen@intel.com>,
 Ashok Raj <ashok.raj@intel.com>,
 Tim Chen <tim.c.chen@linux.intel.com>,
 Andy Lutomirski <luto@kernel.org>,
 Linus Torvalds <torvalds@linux-foundation.org>,
 Greg KH <gregkh@linuxfoundation.org>,
 Andrea Arcangeli <aarcange@redhat.com>,
 Andi Kleen <ak@linux.intel.com>,
 Arjan Van De Ven <arjan.van.de.ven@intel.com>,
 Dan Williams <dan.j.williams@intel.com>,
 Paolo Bonzini <pbonzini@redhat.com>,
 Jun Nakajima <jun.nakajima@intel.com>,
 Asit Mallick <asit.k.mallick@intel.com>,
 Jason Baron <jbaron@akamai.com>,
 Peter Zijlstra <peterz@infradead.org>
Subject: [PATCH 00/24] objtool: retpoline and asm-goto validation
X-getmail-retrieved-from-mailbox: INBOX
X-GMAIL-THRID: =?utf-8?q?1590397843204218938?=
X-GMAIL-MSGID: =?utf-8?q?1590397843204218938?=
X-Mailing-List: linux-kernel@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>

This series adds two features to objtool:

 - retpoline validation; it verifies no indirect jumps/calls are left in
   CONFIG_RETPOLINE=y builds.

   includes fixups for kvm and others

 - asm-goto validation; allows asserting that a block of code is not reachable
   through a dynamic branch.

After this it forces an asm-goto capable compiler to build arch/x86 and removes
the fallback code for static_cpu_has(). After which we can use static_cpu_has()
to guarantee a lack of dynamic branches, which is a requested feature for
various spectre related things.