X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=67e546b412b7b087305bd1be70366cc26339fac4;hp=f009a247ff40633f8a3bda7ed14f450c6c9effdb;hb=068d7e66db537f981fde19a098a12e4390fa3de4;hpb=52e81251f82ccaf516e3ed626c8abbcc9fbe3f41

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index f009a24..67e546b 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -230,8 +230,8 @@ struct vmx_data {
 };
 
 int v3_is_vmx_capable();
-void v3_init_vmx(struct v3_ctrl_ops * vm_ops);
-
+void v3_init_vmx_hooks(struct v3_ctrl_ops * vm_ops);
+void v3_init_vmx_cpu(int cpu_id);
 
 
 #endif // ! __V3VEE__