From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753306AbbBSRhe (ORCPT ); Thu, 19 Feb 2015 12:37:34 -0500 Received: from smarthost01a.mail.zen.net.uk ([212.23.1.1]:51570 "EHLO smarthost01a.mail.zen.net.uk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752107AbbBSRhd (ORCPT ); Thu, 19 Feb 2015 12:37:33 -0500 X-Greylist: delayed 341 seconds by postgrey-1.27 at vger.kernel.org; Thu, 19 Feb 2015 12:37:33 EST Message-ID: <54E61F56.8090309@cantab.net> Date: Thu, 19 Feb 2015 17:37:26 +0000 From: David Vrabel User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Juergen Gross , linux-kernel@vger.kernel.org, xen-devel@lists.xensource.com, konrad.wilk@oracle.com, david.vrabel@citrix.com, boris.ostrovsky@oracle.com References: <1424242326-26611-1-git-send-email-jgross@suse.com> <1424242326-26611-11-git-send-email-jgross@suse.com> In-Reply-To: <1424242326-26611-11-git-send-email-jgross@suse.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-SA-Exim-Connect-IP: 82.70.146.43 X-SA-Exim-Mail-From: dvrabel@cantab.net Subject: Re: [Xen-devel] [PATCH 10/13] xen: check pre-allocated page tables for conflict with memory map X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000) X-SA-Exim-Scanned: Yes (on pear.davidvrabel.org.uk) X-Originating-smarthost01a-IP: [82.70.146.41] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 18/02/2015 06:52, Juergen Gross wrote: > Check whether the page tables built by the domain builder are at > memory addresses which are in conflict with the target memory map. > If this is the case just panic instead of running into problems > later. Again, what ensures this never actually happens? David