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_regs.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 #ifndef __VMM_REGS_H__
21 #define __VMM_REGS_H__
22
23 #ifdef __V3VEE__
24
25 #include <palacios/vmm.h>
26
27 struct v3_gprs {
28     v3_reg_t rdi;
29     v3_reg_t rsi;
30     v3_reg_t rbp;
31     v3_reg_t rsp;
32     v3_reg_t rbx;
33     v3_reg_t rdx;
34     v3_reg_t rcx;
35     v3_reg_t rax;
36
37     v3_reg_t r8;
38     v3_reg_t r9;
39     v3_reg_t r10;
40     v3_reg_t r11;
41     v3_reg_t r12;
42     v3_reg_t r13;
43     v3_reg_t r14;
44     v3_reg_t r15;
45   
46 } __attribute__((packed));
47
48
49 struct v3_ctrl_regs {
50     v3_reg_t cr0;
51     v3_reg_t cr2;
52     v3_reg_t cr3;
53     v3_reg_t cr4;
54     v3_reg_t cr8;
55     v3_reg_t rflags;
56     v3_reg_t efer;
57 };
58
59
60
61 struct v3_dbg_regs {
62     v3_reg_t dr0;
63     v3_reg_t dr1;
64     v3_reg_t dr2;
65     v3_reg_t dr3;
66     v3_reg_t dr6;
67     v3_reg_t dr7;
68 };
69
70 struct v3_segment {
71     uint16_t selector;
72     uint_t limit;
73     uint64_t base;
74     uint_t type           : 4;
75     uint_t system         : 1;
76     uint_t dpl            : 2;
77     uint_t present        : 1;
78     uint_t avail          : 1;
79     uint_t long_mode      : 1;
80     uint_t db             : 1;
81     uint_t granularity    : 1;
82     uint_t unusable       : 1;
83 } __attribute__((packed));
84
85
86 struct v3_segments {
87     struct v3_segment cs;
88     struct v3_segment ds;
89     struct v3_segment es;
90     struct v3_segment fs;
91     struct v3_segment gs;
92     struct v3_segment ss;
93     struct v3_segment ldtr;
94     struct v3_segment gdtr;
95     struct v3_segment idtr;
96     struct v3_segment tr;
97 };
98
99
100 #endif
101
102 #endif