palacios/include/geekos/vmm_util.h

   1 #ifndef __VMM_UTIL_H
   2 #define __VMM_UTIL_H
   3
   4 #include <geekos/vmm.h>
   5
   6
   7
   8 //#define PAGE_SIZE 4096
   9
  10 typedef union reg_ex {
  11   ullong_t r_reg;
  12   struct {
  13     uint_t low;
  14     uint_t high;
  15   } e_reg;
  16
  17 } reg_ex_t;
  18
  19
  20
  21 void PrintTraceHex(unsigned char x);
  22
  23 void PrintTraceMemDump(unsigned char * start, int n);
  24
  25
  26
  27 #endif