X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=083644e2fe897559dc2801d0b13ec4d0314af0da;hb=c1810f8134ef829599525d30856970f0155da1f3;hp=8e6c6de9ce8622e4e2a057be33540b6e22b52b07;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 8e6c6de..083644e 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -374,7 +374,8 @@ struct v3_vm_state {
   struct v3_vcore_state vcore[0];
 };
 
-void Init_V3(struct v3_os_hooks * hooks, char * cpus, int num_cpus);
+char *v3_lookup_option(char *name);
+void Init_V3(struct v3_os_hooks * hooks, char * cpus, int num_cpus, char *options);
 void Shutdown_V3( void );