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.


Checkpoint/Restore fixes
[palacios.git] / linux_module / palacios.h
index 977d617..7b3a32b 100644 (file)
@@ -11,8 +11,9 @@
 #define V3_CREATE_GUEST 12
 #define V3_FREE_GUEST 13
 
-#define V3_ADD_MEMORY 50
-#define V3_RESET_MEMORY 51
+#define V3_ADD_MEMORY    50
+#define V3_RESET_MEMORY  51
+#define V3_REMOVE_MEMORY 52
 
 #define V3_ADD_PCI_HW_DEV 55
 #define V3_ADD_PCI_USER_DEV 56