diff options
-rw-r--r-- | xen/arch/arm/domain.c | 3 | ||||
-rw-r--r-- | xen/arch/x86/domain.c | 9 | ||||
-rw-r--r-- | xen/arch/x86/hvm/hvm.c | 2 | ||||
-rw-r--r-- | xen/common/schedule.c | 2 |
4 files changed, 8 insertions, 8 deletions
diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index ee12b5f08f..4c434a1b63 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -232,6 +232,9 @@ static void schedule_tail(struct vcpu *prev) if ( prev != current ) update_runstate_area(current); + + /* Ensure that the vcpu has an up-to-date time base. */ + update_vcpu_system_time(current); } static void continue_new_vcpu(struct vcpu *prev) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index 161d1b34d7..5c89197692 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -966,11 +966,6 @@ arch_do_vcpu_op( switch ( cmd ) { - /* - * XXX Disable for 4.0.0: __update_vcpu_system_time() writes to the given - * virtual address even when running in another domain's address space. - */ -#if 0 case VCPUOP_register_vcpu_time_memory_area: { struct vcpu_register_time_memory_area area; @@ -989,7 +984,6 @@ arch_do_vcpu_op( break; } -#endif case VCPUOP_get_physid: { @@ -1457,6 +1451,9 @@ void context_switch(struct vcpu *prev, struct vcpu *next) if (prev != next) update_runstate_area(next); + /* Ensure that the vcpu has an up-to-date time base. */ + update_vcpu_system_time(next); + schedule_tail(next); BUG(); } diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c index bcf96093d4..a962ce253d 100644 --- a/xen/arch/x86/hvm/hvm.c +++ b/xen/arch/x86/hvm/hvm.c @@ -3191,6 +3191,7 @@ static long hvm_vcpu_op( case VCPUOP_set_singleshot_timer: case VCPUOP_stop_singleshot_timer: case VCPUOP_register_vcpu_info: + case VCPUOP_register_vcpu_time_memory_area: rc = do_vcpu_op(cmd, vcpuid, arg); break; default: @@ -3249,6 +3250,7 @@ static long hvm_vcpu_op_compat32( case VCPUOP_set_singleshot_timer: case VCPUOP_stop_singleshot_timer: case VCPUOP_register_vcpu_info: + case VCPUOP_register_vcpu_time_memory_area: rc = compat_vcpu_op(cmd, vcpuid, arg); break; default: diff --git a/xen/common/schedule.c b/xen/common/schedule.c index e52660236a..a8398bd9ed 100644 --- a/xen/common/schedule.c +++ b/xen/common/schedule.c @@ -1231,8 +1231,6 @@ static void schedule(void) if ( next_slice.migrated ) evtchn_move_pirqs(next); - /* Ensure that the domain has an up-to-date time base. */ - update_vcpu_system_time(next); vcpu_periodic_timer_work(next); context_switch(prev, next); |