diff options
| -rw-r--r-- | xen/arch/x86/time.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 9187520101..92b1226094 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -828,7 +828,8 @@ static void __update_vcpu_system_time(struct vcpu *v, int force) if ( d->arch.vtsc ) { - u64 stime = t->stime_local_stamp; + s_time_t stime = t->stime_local_stamp; + if ( is_hvm_domain(d) ) { struct pl_time *pl = &v->domain->arch.hvm_domain.pl_time; |