X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=f6b284cffec5053385ac947d8f045d10fe771b8c;hb=a47bf8387bc195230e95edb4b0c9ffb81e50ac9f;hp=f343d06a018d05804288d8175117e405701b5778;hpb=b91f96a59e8709a444eb345b0f2b255e9ed9b877;p=palacios.git diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c index f343d06..f6b284c 100644 --- a/palacios/src/palacios/vmm_halt.c +++ b/palacios/src/palacios/vmm_halt.c @@ -21,6 +21,7 @@ #include #include #include +#include #ifndef V3_CONFIG_DEBUG_HALT #undef PrintDebug @@ -28,26 +29,35 @@ #endif - // // This should trigger a #GP if cpl != 0, otherwise, yield to host // -int v3_handle_halt(struct guest_info * info) { - +int v3_handle_halt(struct guest_info * info) +{ + if (info->cpl != 0) { v3_raise_exception(info, GPF_EXCEPTION); } else { - PrintDebug("CPU Yield\n"); + uint64_t start_cycles; + + PrintDebug(info->vm_info, info, "CPU Yield\n"); + + start_cycles = v3_get_host_time(&info->time_state); + + while (!v3_intr_pending(info) && (info->vm_info->run_state == VM_RUNNING)) { + uint64_t t, cycles; + + t = v3_get_host_time(&info->time_state); - while (!v3_intr_pending(info)) { /* Yield, allowing time to pass while yielded */ - v3_yield(info); - v3_advance_time(info); + v3_strategy_driven_yield(info, v3_cycle_diff_in_usec(info, start_cycles, t)); + + cycles = v3_get_host_time(&info->time_state) - t; + + v3_advance_time(info, &cycles); - v3_disable_ints(); v3_update_timers(info); - v3_enable_ints(); /* At this point, we either have some combination of interrupts, including perhaps a timer interrupt, or @@ -60,7 +70,7 @@ int v3_handle_halt(struct guest_info * info) { } - /* V3_Print("palacios: done with halt\n"); */ + /* V3_Print(info->vm_info, info, "palacios: done with halt\n"); */ info->rip += 1; }