Re: Assertion failure on shadow.c:2339 for VMX domains

[Arun Sharma <arun.sharma@intel.com>]

Arun Sharma wrote:
> 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?

Ditto for the other two below as well.

	-Arun

--- 1.111/xen/arch/x86/shadow.c 2005-05-12 06:58:45 -07:00
+++ edited/arch/x86/shadow.c    2005-05-13 15:49:11 -07:00
@@ -2336,8 +2336,6 @@
              l1_pgentry_t *shadow1 = shadow;
              l1_pgentry_t *snapshot1 = snapshot;

-            ASSERT(VM_ASSIST(d, VMASST_TYPE_writable_pagetables));
-
              if ( !shadow_mode_refcounts(d) )
                  revalidate_l1(d, guest1, snapshot1);

@@ -2383,7 +2381,6 @@
              l2_pgentry_t *shadow2 = shadow;
              l2_pgentry_t *snapshot2 = snapshot;

-            ASSERT(shadow_mode_write_all(d));
              BUG_ON(!shadow_mode_refcounts(d)); // not yet implemented

              changed = 0;
@@ -2426,7 +2423,6 @@
              l2_pgentry_t *snapshot2 = snapshot;
              l1_pgentry_t *shadow2 = shadow;

-            ASSERT(shadow_mode_write_all(d));
              BUG_ON(!shadow_mode_refcounts(d)); // not yet implemented

              changed = 0;


>