VMX 64-bit guest support. Add exit handling for CR4 and EFER accesses.

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

diff --git a/palacios/include/palacios/vmx_ctrl_regs.h b/palacios/include/palacios/vmx_ctrl_regs.h
index 4a8f0d8..789ff4e 100644 (file)
--- a/palacios/include/palacios/vmx_ctrl_regs.h
+++ b/palacios/include/palacios/vmx_ctrl_regs.h
@@ -31,7 +31,8 @@ int v3_vmx_handle_cr0_access(struct guest_info * info,
                             struct vmx_exit_info * exit_info);
 int v3_vmx_handle_cr3_access(struct guest_info * info, 
                             struct vmx_exit_cr_qual * cr_qual);
-
+int v3_vmx_handle_cr4_access(struct guest_info * info, 
+                            struct vmx_exit_cr_qual * cr_qual);
 
 #endif