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 region generated page tables, and removed all the ugliness that was...
[palacios.git] / palacios / include / geekos / vmm_util.h
index 5fb0aea..ae58b10 100644 (file)
@@ -2,11 +2,12 @@
 #define __VMM_UTIL_H
 
 #include <geekos/vmm.h>
+#include <geekos/vmm_mem.h>
 
 
-
-//#define PAGE_SIZE 4096
-
+#ifndef PAGE_SIZE
+#define PAGE_SIZE 4096
+#endif
 typedef union reg_ex {
   ullong_t r_reg;
   struct {
@@ -18,10 +19,23 @@ 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);
 
 
-
 #endif