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.


Added memory ranges
[palacios.git] / palacios / include / geekos / vmm_util.h
index 5fb0aea..402d2c6 100644 (file)
@@ -5,7 +5,8 @@
 
 
 
-//#define PAGE_SIZE 4096
+
+#define PAGE_SIZE 4096
 
 typedef union reg_ex {
   ullong_t r_reg;
@@ -18,6 +19,20 @@ typedef union reg_ex {
 
 
 
+// These are the GPRs layed out according to 'pusha'
+struct VMM_GPRs {
+  uint_t edi;
+  uint_t esi;
+  uint_t ebp;
+  uint_t esp;
+  uint_t ebx;
+  uint_t edx;
+  uint_t ecx;
+  uint_t eax;
+};
+
+
+
 void PrintTraceHex(unsigned char x);
 
 void PrintTraceMemDump(unsigned char * start, int n);