X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_pause.c;h=be445dbb5a0dae37cfa87fe9e1647b2fa63ecb2c;hb=82d082daad3fe8afad4be97d97093a3dfb768e1f;hp=ddf7c471f92ce1c50fa0375292a5b2ed2b805576;hpb=9d3b3018dfa76f3612eff68e78aaf636496c4fe4;p=palacios.git

diff --git a/linux_usr/v3_pause.c b/linux_usr/v3_pause.c
index ddf7c47..be445db 100644
--- a/linux_usr/v3_pause.c
+++ b/linux_usr/v3_pause.c
@@ -23,11 +23,11 @@ int main(int argc, char* argv[]) {
  
 
     if (argc <= 1) {
-	printf("Usage: ./v3_stop <vm-dev>\n");
+	printf("usage: v3_pause <vm_device>\n");
 	return -1;
     }
 
-    printf("Stopping VM\n");
+    printf("Pausing VM\n");
     
     vm_fd = open(filename, O_RDONLY);