Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


PCI Fix: do not let buggy guest turn off I/O bit in an I/O BAR
[palacios.git] / palacios / src / devices / hpet.c
index 5e65cd9..c0a8389 100644 (file)
@@ -789,7 +789,7 @@ static int
 hpet_save (struct v3_chkpt_ctx * ctx, void * private_data) 
 {
     PrintError(VM_NONE, VCORE_NONE, "Unimplemented\n");
-    return -1;
+    return 0;
 }
 
 
@@ -797,7 +797,7 @@ static int
 hpet_load (struct v3_chkpt_ctx * ctx, void * private_data) 
 {
     PrintError(VM_NONE, VCORE_NONE, "Unimplemented\n");
-    return -1;
+    return 0;
 }
 
 #endif
@@ -859,7 +859,7 @@ hpet_init (struct v3_vm_info * vm, v3_cfg_tree_t * cfg)
     /* init architecturally visible state */
        init_hpet_state(hpet);
 
-    PrintDebug(core->vm_info, core "HPET: Hooking HPET mem region at %p\n", (void*)hpet->base_addr);
+    PrintDebug(core->vm_info, core, "HPET: Hooking HPET mem region at %p\n", (void*)hpet->base_addr);
        if (v3_hook_full_mem(vm, 
                          V3_MEM_CORE_ANY, 
                          hpet->base_addr,