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>

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']:

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.""")