small fixes to swint code, add proper cleanup

[palacios.git] / palacios / include / gears / sw_intr.h

diff --git a/palacios/include/gears/sw_intr.h b/palacios/include/gears/sw_intr.h
index 45c2bdc..327fdd0 100644 (file)
--- a/palacios/include/gears/sw_intr.h
+++ b/palacios/include/gears/sw_intr.h
@@ -23,6 +23,8 @@
 
 #include <palacios/vmm.h>
 
+#define MAX_SWINTR_HOOKS  256
+
 #define SW_INTR_SYSCALL_VEC 0x80
 
 int v3_handle_swintr (struct guest_info * core);