X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_receive.c;h=153ccd972d560d4ed92d024f04d0bdd3f4bf3d7f;hb=541bd219aaa76d3b00de8060affbc62a5692162a;hp=9c3fafd818fa104fc83b85f6634a2c60588de88e;hpb=3711d0163d1dcba26b73a6427f3feefa8fc24733;p=palacios.git

diff --git a/linux_usr/v3_receive.c b/linux_usr/v3_receive.c
index 9c3fafd..153ccd9 100644
--- a/linux_usr/v3_receive.c
+++ b/linux_usr/v3_receive.c
@@ -32,7 +32,13 @@ int main(int argc, char* argv[]) {
     char * vm_dev = NULL;
 
     if (argc < 4) {
-	printf("Usage: ./v3_receive <vm_device> <store> <url>\n");
+	printf("Usage: ./v3_receive <vm_device> <store> <url> [optionmask]\n");
+	printf(" optionmask consists of the sum of any of the following\n");
+	printf(" 0    none\n");
+	printf(" 1    skip memory\n");
+	printf(" 2    skip devices\n");
+	printf(" 4    skip cores\n");
+	printf(" 8    skip architecture-specific core state\n");
 	return -1;
     }
 
@@ -53,6 +59,12 @@ int main(int argc, char* argv[]) {
 
     strncpy(chkpt.url, argv[3], MAX_URL_LEN);
 
+    if (argc>4) {
+      chkpt.opts = atoll(argv[4]);
+    } else {
+      chkpt.opts = V3_CHKPT_OPT_NONE;
+    }
+
     vm_fd = open(vm_dev, O_RDONLY);
     if (vm_fd == -1) {
 	printf("Error opening VM device: %s\n", vm_dev);