Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S933382Ab2EQPJI (ORCPT ); Thu, 17 May 2012 11:09:08 -0400 Received: from casper.infradead.org ([85.118.1.10]:40034 "EHLO casper.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1759873Ab2EQPJF convert rfc822-to-8bit (ORCPT ); Thu, 17 May 2012 11:09:05 -0400 Message-ID: <1337267329.4281.32.camel@twins> Subject: Re: [PATCH v2 3/3] x86: Support local_flush_tlb_kernel_range From: Peter Zijlstra To: Minchan Kim Cc: Greg Kroah-Hartman , Nitin Gupta , Seth Jennings , Dan Magenheimer , linux-kernel@vger.kernel.org, linux-mm@kvack.org, Thomas Gleixner , Ingo Molnar , Tejun Heo , David Howells , x86@kernel.org, Nick Piggin Date: Thu, 17 May 2012 17:08:49 +0200 In-Reply-To: <1337266310.4281.30.camel@twins> References: <1337133919-4182-1-git-send-email-minchan@kernel.org> <1337133919-4182-3-git-send-email-minchan@kernel.org> <4FB4B29C.4010908@kernel.org> <1337266310.4281.30.camel@twins> Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7BIT X-Mailer: Evolution 3.2.2- Mime-Version: 1.0 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 590 Lines: 12 On Thu, 2012-05-17 at 16:51 +0200, Peter Zijlstra wrote: > > Also, does it even work if the range happens to be backed by huge pages? > IIRC we try and do the identity map with large pages wherever possible. OK, the Intel SDM seems to suggest it will indeed invalidate ANY mapping to that linear address, which would include 2M and 1G pages. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/