2012-09-17 17:49:23 +02:00
|
|
|
Index: xen-4.2.0-testing/tools/python/xen/xend/XendDomainInfo.py
|
2007-07-21 18:12:17 +02:00
|
|
|
===================================================================
|
2012-09-17 17:49:23 +02:00
|
|
|
--- xen-4.2.0-testing.orig/tools/python/xen/xend/XendDomainInfo.py
|
|
|
|
+++ xen-4.2.0-testing/tools/python/xen/xend/XendDomainInfo.py
|
|
|
|
@@ -2939,7 +2939,7 @@ class XendDomainInfo:
|
2007-07-21 18:12:17 +02:00
|
|
|
|
2010-01-16 01:12:54 +01:00
|
|
|
self.guest_bitsize = self.image.getBitSize()
|
2007-07-21 18:12:17 +02:00
|
|
|
# Make sure there's enough RAM available for the domain
|
2009-05-04 18:38:09 +02:00
|
|
|
- balloon.free(memory + shadow + vtd_mem, self)
|
|
|
|
+ balloon.free(memory + shadow + vtd_mem + 512, self)
|
2007-07-21 18:12:17 +02:00
|
|
|
|
|
|
|
# Set up the shadow memory
|
|
|
|
shadow_cur = xc.shadow_mem_control(self.domid, shadow / 1024)
|