X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;fp=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;h=5b0b7619d11fbf3ed934916771de86d5ade37760;hb=18cc68af5caa15264a853167e9d2d885cb79317a;hp=5535a6fb095c9074148302de8945ba05dafd8dbe;hpb=561e89ed85d5133af211fe820476e9a6e669673f;p=palacios.releases.git diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c index 5535a6f..5b0b761 100644 --- a/palacios/src/palacios/svm_handler.c +++ b/palacios/src/palacios/svm_handler.c @@ -71,7 +71,8 @@ int v3_handle_svm_exit(struct guest_info * info) { exit_code = guest_ctrl->exit_code; - // PrintDebug("SVM Exit: %s (rip=%p)\n", vmexit_code_to_str(exit_code), (void *)info->rip); + // PrintDebug("SVM Exit: %s (rip=%p) (info1=%p)\n", vmexit_code_to_str(exit_code), + // (void *)(addr_t)info->rip, (void *)(addr_t)guest_ctrl->exit_info1); if ((info->intr_state.irq_pending == 1) && (guest_ctrl->guest_ctrl.V_IRQ == 0)) { @@ -360,7 +361,7 @@ int v3_handle_svm_exit(struct guest_info * info) { } - // Update the low level state + if (v3_excp_pending(info)) { uint_t excp = v3_get_excp_number(info);