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.


v3_mem enhancements - managed offlining; ability to deallocate memory (obviates v3_me...
[palacios.git] / linux_usr / v3_ctrl.h
index 28a5e19..e5e0d76 100644 (file)
@@ -16,6 +16,8 @@
 
 #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