pci_front bugfix - do not propagate cmd reg write twice

[palacios.git] / linux_usr / v3_save.c

diff --git a/linux_usr/v3_save.c b/linux_usr/v3_save.c
index 009e0f2..4749c5a 100644 (file)
--- a/linux_usr/v3_save.c
+++ b/linux_usr/v3_save.c
@@ -31,8 +31,16 @@ int main(int argc, char* argv[]) {
     int vm_fd;
     char * vm_dev = NULL;
 
+    
+
     if (argc < 4) {
-       printf("Usage: ./v3_save <vm_device> <store> <url>\n");
+       printf("usage: v3_save <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;
     }
 
@@ -45,7 +53,6 @@ int main(int argc, char* argv[]) {
 
     strncpy(chkpt.store, argv[2], MAX_STORE_LEN);
 
-
     if (strlen(argv[3]) >= MAX_URL_LEN) {
        printf("ERROR: Checkpoint URL longer than maximum size (%d)\n", MAX_URL_LEN);
        return -1;
@@ -53,6 +60,13 @@ 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);