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)
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;
break;
}
-#endif
case VCPUOP_get_physid:
{
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();
}
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:
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:
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);