Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751195AbeADXck (ORCPT + 1 other); Thu, 4 Jan 2018 18:32:40 -0500 Received: from Galois.linutronix.de ([146.0.238.70]:43335 "EHLO Galois.linutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751029AbeADXci (ORCPT ); Thu, 4 Jan 2018 18:32:38 -0500 Date: Fri, 5 Jan 2018 00:32:22 +0100 (CET) From: Thomas Gleixner To: Benjamin Gilbert cc: luto@kernel.org, gregkh@linuxfoundation.org, stable@vger.kernel.org, peterz@infradead.org, dave.hansen@linux.intel.com, kuleshovmail@gmail.com, hpa@zytor.com, linux-kernel@vger.kernel.org, mingo@kernel.org Subject: Re: [tip:x86/pti] x86/kaslr: Fix the vaddr_end mess In-Reply-To: <20180104232907.GA3710@trogon.sfo.coreos.systems> Message-ID: References: <20180104232907.GA3710@trogon.sfo.coreos.systems> User-Agent: Alpine 2.20 (DEB 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Linutronix-Spam-Score: -1.0 X-Linutronix-Spam-Level: - X-Linutronix-Spam-Status: No , -1.0 points, 5.0 required, ALL_TRUSTED=-1,SHORTCIRCUIT=-0.0001 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Return-Path: On Thu, 4 Jan 2018, Benjamin Gilbert wrote: > On Thu, Jan 04, 2018 at 02:10:44PM -0800, tip-bot for Thomas Gleixner wrote: > > + BUILD_BUG_ON)(vaddr_end != CPU_ENTRY_AREA_BASE); > ^^ Darn...