diff options
Diffstat (limited to 'xen/arch/x86/time.c')
| -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 c3b0b865b8..e30ab4923f 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -817,7 +817,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; |