1 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
2 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
9 #include <palacios/vmm.h>
12 uint_t breakpoint : 32;
24 uint_t rsvd1 : 8; // read as ones
25 uint_t rsvd2 : 1; // read as zero
29 uint_t rsvd3 : 16; // read as one
38 uint_t rsvd1 : 8; // read as ones
39 uint_t rsvd2 : 1; // read as zero
43 uint_t rsvd3 : 16; // read as one
44 uint_t rsvd4 : 32; // MBZ
59 uint_t rsvd1 : 1; // Read as one
60 uint_t rsvd2 : 2; // Read as zero
62 uint_t rsvd3 : 2; // Read as zero
85 uint_t rsvd1 : 1; // Read as one
86 uint_t rsvd2 : 2; // Read as zero
88 uint_t rsvd3 : 2; // Read as zero
97 uint_t rsvd4 : 32; // MBZ
105 void PrintDebugHex(unsigned char x);
106 void PrintDebugMemDump(unsigned char *start, int n);