# HG changeset patch # User Jimi Xenidis # Date 1156800535 14400 # Node ID 3e144748d36f7bd4e1735f9c2434b5ef33961859 # Parent 91fd235332106f63f21abc250434d379f67611e7 [XEN][POWERPC] do not set d->tot_pages, but check it. Signed-off-by: Jimi Xenidis Signed-off-by: Hollis Blanchard diff -r 91fd23533210 -r 3e144748d36f xen/arch/powerpc/domain_build.c --- a/xen/arch/powerpc/domain_build.c Mon Aug 28 11:52:17 2006 -0400 +++ b/xen/arch/powerpc/domain_build.c Mon Aug 28 17:28:55 2006 -0400 @@ -163,12 +163,10 @@ int construct_dom0(struct domain *d, } /* make sure we are at least as big as the RMA */ - if (dom0_nrpages < rma_nrpages) - dom0_nrpages = rma_nrpages; - else + if (dom0_nrpages > rma_nrpages) dom0_nrpages = allocate_extents(d, dom0_nrpages, rma_nrpages); - d->tot_pages = dom0_nrpages; + ASSERT(d->tot_pages == dom0_nrpages); ASSERT(d->tot_pages >= rma_nrpages); if (opt_dom0_shadow == 0) {