Enhancements to VNET and to halting:

[palacios.git] / palacios / src / palacios / vmx_handler.c

diff --git a/palacios/src/palacios/vmx_handler.c b/palacios/src/palacios/vmx_handler.c
index 51bf62d..8f7665d 100644 (file)
--- a/palacios/src/palacios/vmx_handler.c
+++ b/palacios/src/palacios/vmx_handler.c
@@ -24,6 +24,7 @@
 #include <palacios/vmx_lowlevel.h>
 #include <palacios/vmx_io.h>
 #include <palacios/vmm_cpuid.h>
+#include <palacios/vmm_debug.h>
 
 #include <palacios/vmx.h>
 #include <palacios/vmm_ctrl_regs.h>
@@ -33,6 +34,7 @@
 #include <palacios/vmm_halt.h>
 #include <palacios/vmx_ept.h>
 
+
 #ifndef V3_CONFIG_DEBUG_VMX
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
@@ -235,6 +237,12 @@ int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_inf
                        return -1;
                    }
                    break;
+               case 8:
+                   if (v3_vmx_handle_cr8_access(info, cr_qual) == -1) {
+                       PrintError("Error in CR8 access handler\n");
+                       return -1;
+                   }
+                   break;
                default:
                    PrintError("Unhandled CR access: %d\n", cr_qual->cr_id);
                    return -1;