X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_config.h;h=5b614e965c512d560963cd8a05c2b60c37ab852b;hb=de3fce7c94e36342005ae5f79fcf22937acde586;hp=5e4ed96e912d56bc26361174a8fd91dfc35c9445;hpb=6593ee3c311ec87304c7bed52a9e6034338679fb;p=palacios.git

diff --git a/palacios/include/palacios/vmm_config.h b/palacios/include/palacios/vmm_config.h
index 5e4ed96..5b614e9 100644
--- a/palacios/include/palacios/vmm_config.h
+++ b/palacios/include/palacios/vmm_config.h
@@ -29,7 +29,8 @@
 
 
 
-int config_guest(struct guest_info * info, struct v3_vm_config * config_ptr);
+int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr);
+int v3_config_devices(struct guest_info * info, struct v3_vm_config * config_ptr);
 
 
 #endif // ! __V3VEE__