X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_ctrl_regs.h;h=789ff4e4c016b4640e5b9deab82ac4ab8db03f0e;hb=3716aafce2de9e12ed62bee37968bfc0e0eaed44;hp=4a8f0d80ac6470d934855b403f50c799e4c75580;hpb=5bf6d0c260240e314876a2fca8e3fd56bd6a1029;p=palacios.git

diff --git a/palacios/include/palacios/vmx_ctrl_regs.h b/palacios/include/palacios/vmx_ctrl_regs.h
index 4a8f0d8..789ff4e 100644
--- 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