From mboxrd@z Thu Jan  1 00:00:00 1970
From: Arun Sharma <arun.sharma@intel.com>
Subject: Assertion failure on shadow.c:2339 for VMX domains
Date: Fri, 13 May 2005 15:32:18 -0700
Message-ID: <42852AF2.40409@intel.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
List-Unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: Michael A Fetterman <Michael.Fetterman@cl.cam.ac.uk>
Cc: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

Hi Michael,

This assertion you added:

005/05/09 mafetter   |             ASSERT(VM_ASSIST(d, 
VMASST_TYPE_writable_pagetables));

is failing for VMX domains. Why do you think this assertion belongs there?

	-Arun

Full log:

(XEN) DOM1P0: FSH_LOG(77): shadow_promote: gpfn=4df gmfn=3fb54 nt=40000000
(XEN) DOM1P0: SH_LOG(1462): Allocate more shadow hashtable blocks.
(XEN) DOM1P0: FSH_LOG(77): shadow_promote: gpfn=529 gmfn=3fb0a nt=20000000
(XEN) DOM1P0: FSH_LOG(77): shadow_promote: gpfn=52a gmfn=3fb09 nt=20000000
(XEN) DOM1P0: SH_LOG(668): Free shadow table.
(XEN) DOM1P0: FSH_LOG(77): shadow_promote: gpfn=4df gmfn=3fb54 nt=40000000
(XEN) DOM1P0: FSH_LOG(77): shadow_promote: gpfn=52a gmfn=3fb09 nt=20000000
(XEN) DOM1P0: FSH_LOG(1704): Allocate more fullshadow tuple blocks.
(XEN) DOM1P0: FSH_LOG(1833): shadow_mark_mfn_out_of_sync(gpfn=52a, 
mfn=3fb09) c0
(XEN) DOM1P0: FSH_LOG(1897): mark_out_of_sync(va=c052a000 -> 
writable_pl1e=6c0e)
(XEN) DOM1P0: FSH_LOG(2317): resyncing t=20000000 gpfn=52a gmfn=3fb09 
smfn=6c0ed
(XEN) Assertion 'VM_ASSIST(d, VMASST_TYPE_writable_pagetables)' failed, 
line 23c