X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_ctrl_regs.h;h=88b24f43cc887148ce6ca1b5622663856e4c4967;hp=f35e878fd094f400c0b887cd8e21221349f39a33;hb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;hpb=19c179d8c8a23c2612f9c12ec7cbedc299ce80e5

diff --git a/palacios/include/palacios/vmx_ctrl_regs.h b/palacios/include/palacios/vmx_ctrl_regs.h
index f35e878..88b24f4 100644
--- a/palacios/include/palacios/vmx_ctrl_regs.h
+++ b/palacios/include/palacios/vmx_ctrl_regs.h
@@ -2,4 +2,6 @@
 #include <palacios/vm_guest.h>
 #include <palacios/vmm_ctrl_regs.h>
 
-int v3_vmx_handle_cr0_write(struct guest_info * info, v3_reg_t new_val);
+int v3_vmx_handle_cr0_access(struct guest_info * info);
+int v3_vmx_handle_cr3_access(struct guest_info * info);
+