X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finit%2Fmain.c;h=709a0ab9a36ce1bc2af592f2bf6c9c8844cfee3a;hb=c0376861301ad7abd8ded058d3445aa986f827c9;hp=16369d3ddb75bb4d01b35f001d06501a0a89a88a;hpb=3aefb820e651c67fb0654fe1df301c8828dbb35d;p=palacios.git

diff --git a/kitten/init/main.c b/kitten/init/main.c
index 16369d3..709a0ab 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -118,7 +118,7 @@ start_kernel()
 	}
 
 #ifdef CONFIG_V3VEE
-	RunVMM();
+	v3vee_run_vmm();
 #else
 	/*
 	 * Start up user-space...