X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_core_move.c;h=eb3589614d7059641b3534e6741cea07ad3b50fb;hb=022f63d320c2837822dc7f6be84f860a01f02d7c;hp=29bea35fd93d6172fb41136bdf3f56cdb2b3d9b3;hpb=793f9cd53a472668dbeb16341085e5512484485c;p=palacios.git

diff --git a/linux_usr/v3_core_move.c b/linux_usr/v3_core_move.c
index 29bea35..eb35896 100644
--- a/linux_usr/v3_core_move.c
+++ b/linux_usr/v3_core_move.c
@@ -22,7 +22,7 @@ int main(int argc, char* argv[]) {
     struct v3_core_move_cmd cmd; 
 
     if (argc < 4) {
-	printf("Usage: v3_core_migrate <vm_device> <vcore id> <target physical CPU id>\n");
+	printf("usage: v3_core_move <vm_device> <vcore id> <target physical CPU id>\n");
 	return -1;
     }
 
@@ -30,7 +30,7 @@ int main(int argc, char* argv[]) {
     cmd.vcore_id = atoi(argv[2]);
     cmd.pcore_id = atoi(argv[3]);
 
-    printf("Migrate vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
+    printf("Migrateing vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
 
     vm_fd = open(vm_dev, O_RDONLY);