X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_ctrl_regs.h;h=441b1e5075495f2867dc7ed8ec227956cb4e7cc5;hb=313214f2f4c8cf8d4bb4e2e3aaa788101d955fce;hp=789ff4e4c016b4640e5b9deab82ac4ab8db03f0e;hpb=a7b07dc7f3bd9c28b0fbfb3c685a306326d56e76;p=palacios.git

diff --git a/palacios/include/palacios/vmx_ctrl_regs.h b/palacios/include/palacios/vmx_ctrl_regs.h
index 789ff4e..441b1e5 100644
--- a/palacios/include/palacios/vmx_ctrl_regs.h
+++ b/palacios/include/palacios/vmx_ctrl_regs.h
@@ -33,6 +33,8 @@ 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);
+int v3_vmx_handle_cr8_access(struct guest_info * info, 
+			     struct vmx_exit_cr_qual * cr_qual);
 
 #endif