hvm: Default timer_mode=1 (do not delay virtual time for missed

ticks). Most guests prefer this mode compared with screwing with
progress of virtual time.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/tools/python/xen/xend/XendConfig.py b/tools/python/xen/xend/XendConfig.py
index 706d6e6e0b6eb4f327fd8a14ebe4ab87ab1ee413..bf7c6dcdc96fb74b7d7670f9d9aedcfc46b38b90 100644 (file)
--- a/tools/python/xen/xend/XendConfig.py
+++ b/tools/python/xen/xend/XendConfig.py
@@ -441,7 +441,7 @@ class XendConfig(dict):
 
         if self.is_hvm():
             if 'timer_mode' not in self['platform']:
-                self['platform']['timer_mode'] = 0
+                self['platform']['timer_mode'] = 1
             if 'rtc_timeoffset' not in self['platform']:
                 self['platform']['rtc_timeoffset'] = 0
             if 'hpet' not in self['platform']:

diff --git a/tools/python/xen/xm/create.py b/tools/python/xen/xm/create.py
index 503f3183183f7f1035ba6df73d2ccbe1e4aebcaa..dc333e4707a144e38a12b8d43a63bb370cb3b799 100644 (file)
--- a/tools/python/xen/xm/create.py
+++ b/tools/python/xen/xm/create.py
@@ -214,7 +214,7 @@ gopts.var('hpet', val='HPET',
           use="Enable virtual high-precision event timer.")
 
 gopts.var('timer_mode', val='TIMER_MODE',
-          fn=set_int, default=0,
+          fn=set_int, default=1,
           use="""Timer mode (0=delay virtual time when ticks are missed;
           1=virtual time is always wallclock time.""")