*** empty log message ***

[palacios.git] / palacios / include / palacios / vmm_intr.h

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index 0b178b0..209a7a1 100644 (file)
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -31,12 +31,15 @@ struct guest_info;
 struct vm_intr {
   uint_t excp_pending;
   uint_t excp_num;
+  uint_t excp_error_code;
   
   /* some way to get the [A]PIC intr */
 
 };
 
 
+void init_interrupt_state(struct vm_intr * state);
+
 int raise_exception(struct guest_info * info, uint_t excp);
 
 int intr_pending(struct vm_intr * intr);