X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_intr.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_intr.c;h=865a9fd27dcb17de955254a129b988108f264ef8;hp=e29285a6fb30aa4c668ac2fc5b23d11f376c6a61;hb=6d57b915c82345c4dfb1897209f4778b4548bc31;hpb=18cc68af5caa15264a853167e9d2d885cb79317a

diff --git a/palacios/src/palacios/vmm_intr.c b/palacios/src/palacios/vmm_intr.c
index e29285a..865a9fd 100644
--- a/palacios/src/palacios/vmm_intr.c
+++ b/palacios/src/palacios/vmm_intr.c
@@ -43,6 +43,7 @@ struct intr_controller {
 void v3_init_interrupt_state(struct guest_info * info) {
 
     info->intr_state.irq_pending = 0;
+    info->intr_state.irq_started = 0;
     info->intr_state.irq_vector = 0;
 
     INIT_LIST_HEAD(&(info->intr_state.controller_list));
@@ -181,7 +182,7 @@ int v3_intr_pending(struct guest_info * info) {
     
     // Check if the guest has interrupts enabled
     if (flags->intr == 0) {
-	return 0;
+	//return 0;
     }
 
     list_for_each_entry(ctrl, &(intr_state->controller_list), ctrl_node) {