1 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
2 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
10 #include <palacios/vmm.h>
13 uint_t breakpoint : 32;
25 uint_t rsvd1 : 8; // read as ones
26 uint_t rsvd2 : 1; // read as zero
30 uint_t rsvd3 : 16; // read as one
39 uint_t rsvd1 : 8; // read as ones
40 uint_t rsvd2 : 1; // read as zero
44 uint_t rsvd3 : 16; // read as one
45 uint_t rsvd4 : 32; // MBZ
60 uint_t rsvd1 : 1; // Read as one
61 uint_t rsvd2 : 2; // Read as zero
63 uint_t rsvd3 : 2; // Read as zero
86 uint_t rsvd1 : 1; // Read as one
87 uint_t rsvd2 : 2; // Read as zero
89 uint_t rsvd3 : 2; // Read as zero
98 uint_t rsvd4 : 32; // MBZ
106 void PrintDebugHex(unsigned char x);
107 void PrintDebugMemDump(unsigned char *start, int n);