Merge branch 'Release-1.2' of ssh://palacios@newskysaw.cs.northwestern.edu//home... Release-1.2

diff --combined palacios/src/palacios/svm.c
index 9f72514,4b01c8b..ca8fc18
--- 1/palacios/src/palacios/svm.c
--- 2/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@@ -309,7 -309,7 +309,7 @@@ static int update_irq_exit_state(struc
        // Interrupt was taken fully vectored
        info->intr_state.irq_started = 0;
  
-     } else {
+     } else if ((info->intr_state.irq_started == 1) && (guest_ctrl->exit_int_info.valid == 1)) {
  #ifdef CONFIG_DEBUG_INTERRUPTS
        PrintDebug("EXIT INT INFO is set (vec=%d)\n", guest_ctrl->exit_int_info.vector);
  #endif
@@@ -322,6 -322,12 +322,12 @@@
  static int update_irq_entry_state(struct guest_info * info) {
      vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
  
+ 
+     if (info->intr_state.irq_pending == 0) {
+       guest_ctrl->guest_ctrl.V_IRQ = 0;
+       guest_ctrl->guest_ctrl.V_INTR_VECTOR = 0;
+     }
+     
      if (v3_excp_pending(info)) {
        uint_t excp = v3_get_excp_number(info);
        
@@@ -419,8 -425,6 +425,8 @@@ int v3_svm_enter(struct guest_info * in
      // disable global interrupts for vm state transition
      v3_clgi();
  
 +    /// checkpoint 
 +
      // Synchronize the guest state to the VMCB
      guest_state->cr0 = info->ctrl_regs.cr0;
      guest_state->cr2 = info->ctrl_regs.cr2;