From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1760221AbYDYTgp (ORCPT ); Fri, 25 Apr 2008 15:36:45 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1754671AbYDYTgg (ORCPT ); Fri, 25 Apr 2008 15:36:36 -0400 Received: from relay1.sgi.com ([192.48.171.29]:36093 "EHLO relay.sgi.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1753380AbYDYTgf (ORCPT ); Fri, 25 Apr 2008 15:36:35 -0400 Date: Fri, 25 Apr 2008 12:36:33 -0700 (PDT) From: Christoph Lameter X-X-Sender: clameter@schroedinger.engr.sgi.com To: Andi Kleen cc: Linus Torvalds , Jiri Slaby , David Miller , zdenek.kabelac@gmail.com, rjw@sisk.pl, paulmck@linux.vnet.ibm.com, akpm@linux-foundation.org, linux-ext4@vger.kernel.org, herbert@gondor.apana.org.au, penberg@cs.helsinki.fi, linux-kernel@vger.kernel.org, Mathieu Desnoyers , pageexec@freemail.hu, "H. Peter Anvin" , Jeremy Fitzhardinge , Ingo Molnar Subject: Re: [PATCH 1/1] x86: fix text_poke In-Reply-To: <20080425151747.GA3265@one.firstfloor.org> Message-ID: References: <20080425.021301.193689806.davem@davemloft.net> <1209343883-7991-1-git-send-email-jirislaby@gmail.com> <20080425151747.GA3265@one.firstfloor.org> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, 25 Apr 2008, Andi Kleen wrote: > > And we should really add a lot more sanity checking there. > > A debug mode for virt_to_page(),__pa,__va et.al. would probably make sense > and would have caught it. > > I used to have that partly in the x86-64 port with VIRTUAL_BUG_ON. Good idea! Do you have a patch?