X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=24790cf0779d6ddcfc4e160c79b6be27fe66a4ac;hb=31fe08a1a33c9386a0d7d4d5f6005f6dcd02f3eb;hp=491ceabae4b763db1493c918c3db10e64531d96c;hpb=f7e4262b2d65bbe3eb0c21ab3a6c4bb185531af7;p=palacios.git diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c index 491ceab..24790cf 100644 --- a/palacios/src/palacios/vmm_time.c +++ b/palacios/src/palacios/vmm_time.c @@ -129,7 +129,7 @@ int v3_advance_time(struct guest_info * info, uint64_t *host_cycles) { uint64_t guest_cycles; - if (info->flags & VM_TIME_SLAVE_HOST) { + if (info->time_state.flags & VM_TIME_SLAVE_HOST) { struct v3_time *vm_ts = &(info->vm_info->time_state); uint64_t ht = v3_get_host_time(&info->time_state); uint64_t host_elapsed = ht - info->time_state.initial_host_time;