X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=209a7a10c55cd1a2199dc881f25e9b225fc5c667;hb=1ca13097c7c85318c400c3811ccbb54ac6c619f1;hp=0b178b0f37453e90e2ce37807269cf739e4dc423;hpb=fc90c3287f85c66e1f6616685b66a8339145c3ee;p=palacios.git

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index 0b178b0..209a7a1 100644
--- 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);