X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_emulator.h;h=45cfa44176141a591c3589b13ba62ce2cfe45e5c;hp=e396474aeeef2440aa0ca5baa87778cfb62fa030;hb=7cdedeb7a01b51c5242cce94924f2ea246008e7d;hpb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff

diff --git a/palacios/include/palacios/vmm_emulator.h b/palacios/include/palacios/vmm_emulator.h
index e396474..45cfa44 100644
--- a/palacios/include/palacios/vmm_emulator.h
+++ b/palacios/include/palacios/vmm_emulator.h
@@ -73,7 +73,7 @@ struct emulation_state {
 };
 
 
-int init_emulator(struct guest_info * info);
+int v3_init_emulator(struct guest_info * info);
 
 
 int v3_emulation_exit_handler(struct guest_info * info);