X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=a34cd46ca5a7eaf6980e34bc5a96c59d542355b1;hp=f009a247ff40633f8a3bda7ed14f450c6c9effdb;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=cfcceed5890430afedcc544bd7dbb69e29dfd65a

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index f009a24..a34cd46 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -1,4 +1,5 @@
 
+
 /* 
  * This file is part of the Palacios Virtual Machine Monitor developed
  * by the V3VEE Project with funding from the United States National 
@@ -230,8 +231,7 @@ struct vmx_data {
 };
 
 int v3_is_vmx_capable();
-void v3_init_vmx(struct v3_ctrl_ops * vm_ops);
-
+void v3_init_vmx_cpu(int cpu_id);
 
 
 #endif // ! __V3VEE__