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.


removed obsolete telemetry fn
[palacios.git] / palacios / include / palacios / vmm_debug.h
1 /*
2  * This file is part of the Palacios Virtual Machine Monitor developed
3  * by the V3VEE Project with funding from the United States National 
4  * Science Foundation and the Department of Energy.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
12  * All rights reserved.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20
21 #ifndef __VMM_DEBUG_H
22 #define __VMM_DEBUG_H
23
24
25 #ifdef __V3VEE__
26
27 #include <palacios/vmm.h>
28
29 struct dbg_bp32 {
30     uint_t breakpoint : 32;
31 };
32
33 struct dbg_bp64 {
34     ullong_t breakpoint;
35 };
36
37 struct dr6_32 {
38     uint_t bp0 : 1;
39     uint_t bp1 : 1;
40     uint_t bp2 : 1;
41     uint_t bp3 : 1;
42     uint_t rsvd1 : 8; // read as ones
43     uint_t rsvd2 : 1; // read as zero
44     uint_t bd  : 1; 
45     uint_t bs  : 1;
46     uint_t bt  : 1;
47     uint_t rsvd3 : 16; // read as one
48 };
49
50
51 struct dr6_64 {
52     uint_t bp0 : 1;
53     uint_t bp1 : 1;
54     uint_t bp2 : 1;
55     uint_t bp3 : 1;
56     uint_t rsvd1 : 8; // read as ones
57     uint_t rsvd2 : 1; // read as zero
58     uint_t bd  : 1; 
59     uint_t bs  : 1;
60     uint_t bt  : 1;
61     uint_t rsvd3 : 16; // read as one
62     uint_t rsvd4 : 32; // MBZ
63 };
64
65
66 struct dr7_32 {
67     uint_t L0   : 1;
68     uint_t G0   : 1;
69     uint_t L1   : 1;
70     uint_t G1   : 1;
71     uint_t L2   : 1;
72     uint_t G2   : 1;
73     uint_t L3   : 1;
74     uint_t G3   : 1;
75     uint_t LE   : 1;
76     uint_t GE   : 1;
77     uint_t rsvd1 : 1; // Read as one
78     uint_t rsvd2 : 2; // Read as zero
79     uint_t GD   : 1;
80     uint_t rsvd3 : 2; // Read as zero
81     uint_t rw0  : 1;
82     uint_t len0 : 1;
83     uint_t rw1  : 1;
84     uint_t len1 : 1;
85     uint_t rw2  : 1;
86     uint_t len2 : 1;
87     uint_t rw3  : 1;
88     uint_t len3 : 1;
89 };
90
91
92 struct dr7_64 {
93     uint_t L0   : 1;
94     uint_t G0   : 1;
95     uint_t L1   : 1;
96     uint_t G1   : 1;
97     uint_t L2   : 1;
98     uint_t G2   : 1;
99     uint_t L3   : 1;
100     uint_t G3   : 1;
101     uint_t LE   : 1;
102     uint_t GE   : 1;
103     uint_t rsvd1 : 1; // Read as one
104     uint_t rsvd2 : 2; // Read as zero
105     uint_t GD   : 1;
106     uint_t rsvd3 : 2; // Read as zero
107     uint_t rw0  : 1;
108     uint_t len0 : 1;
109     uint_t rw1  : 1;
110     uint_t len1 : 1;
111     uint_t rw2  : 1;
112     uint_t len2 : 1;
113     uint_t rw3  : 1;
114     uint_t len3 : 1;
115     uint_t rsvd4 : 32; // MBZ
116 };
117
118
119
120
121
122
123 void PrintDebugHex(uchar_t x);
124 void PrintDebugMemDump(uchar_t * start, int n);
125
126
127
128 #endif // !__V3VEE__
129
130 #endif