X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_simulate.c;h=a9410b3db5b1a755a73d3c342933b01ea4ad9c2e;hb=b8836aa7353bf563bf26fdbc6ef3344eb108181c;hp=aeaddaad4bbe16d6482e2ad628802faa47ab47a1;hpb=92082ed86bcfd503e28dbedb24c79c3dc797dc87;p=palacios.git

diff --git a/linux_usr/v3_simulate.c b/linux_usr/v3_simulate.c
index aeaddaa..a9410b3 100644
--- a/linux_usr/v3_simulate.c
+++ b/linux_usr/v3_simulate.c
@@ -23,11 +23,11 @@ int main(int argc, char* argv[]) {
     
 
     if (argc <= 2) {
-	printf("Usage: ./v3_simulate <vm-dev> <msecs>\n");
+	printf("usage: v3_simulate <vm-dev> <msecs>\n");
 	return -1;
     }
 
-    printf("Simulating VM for %lu msecs\n", msecs);
+    printf("Simulating VM for %u msecs\n", msecs);
     
     vm_fd = open(filename, O_RDONLY);