X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=f0befa8d7478fa89c4dda23e300ea21feed300d9;hb=18cc68af5caa15264a853167e9d2d885cb79317a;hp=4fbd7a901c4d27f8167da33b749787cb6d6034a0;hpb=e3a2ad0c26462c45cf0a7f1ccc8f0042abbbd776;p=palacios.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 4fbd7a9..f0befa8 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -84,9 +84,11 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
     v3_init_io_map(info);
     v3_init_msr_map(info);
     v3_init_interrupt_state(info);
+    v3_init_exception_state(info);
     v3_init_dev_mgr(info);
     v3_init_host_events(info);
-    
+
+
     v3_init_decoder(info);
     
     v3_init_hypercall_map(info);
@@ -292,6 +294,8 @@ int v3_config_devices(struct guest_info * info, struct v3_vm_config * config_ptr
 
 
 
+
+
 static struct vm_device *  configure_generic(struct guest_info * info, struct v3_vm_config * config_ptr) {
     PrintDebug("Creating Generic Device\n");
     struct vm_device * generic = v3_create_generic();