Loading...
1/* SPDX-License-Identifier: MIT */
2/*
3 * Copyright (c) 2015, Roger Pau Monne <roger.pau@citrix.com>
4 */
5
6#ifndef __XEN_PUBLIC_HVM_HVM_VCPU_H__
7#define __XEN_PUBLIC_HVM_HVM_VCPU_H__
8
9#include "../xen.h"
10
11struct vcpu_hvm_x86_32 {
12 uint32_t eax;
13 uint32_t ecx;
14 uint32_t edx;
15 uint32_t ebx;
16 uint32_t esp;
17 uint32_t ebp;
18 uint32_t esi;
19 uint32_t edi;
20 uint32_t eip;
21 uint32_t eflags;
22
23 uint32_t cr0;
24 uint32_t cr3;
25 uint32_t cr4;
26
27 uint32_t pad1;
28
29 /*
30 * EFER should only be used to set the NXE bit (if required)
31 * when starting a vCPU in 32bit mode with paging enabled or
32 * to set the LME/LMA bits in order to start the vCPU in
33 * compatibility mode.
34 */
35 uint64_t efer;
36
37 uint32_t cs_base;
38 uint32_t ds_base;
39 uint32_t ss_base;
40 uint32_t es_base;
41 uint32_t tr_base;
42 uint32_t cs_limit;
43 uint32_t ds_limit;
44 uint32_t ss_limit;
45 uint32_t es_limit;
46 uint32_t tr_limit;
47 uint16_t cs_ar;
48 uint16_t ds_ar;
49 uint16_t ss_ar;
50 uint16_t es_ar;
51 uint16_t tr_ar;
52
53 uint16_t pad2[3];
54};
55
56/*
57 * The layout of the _ar fields of the segment registers is the
58 * following:
59 *
60 * Bits [0,3]: type (bits 40-43).
61 * Bit 4: s (descriptor type, bit 44).
62 * Bit [5,6]: dpl (descriptor privilege level, bits 45-46).
63 * Bit 7: p (segment-present, bit 47).
64 * Bit 8: avl (available for system software, bit 52).
65 * Bit 9: l (64-bit code segment, bit 53).
66 * Bit 10: db (meaning depends on the segment, bit 54).
67 * Bit 11: g (granularity, bit 55)
68 * Bits [12,15]: unused, must be blank.
69 *
70 * A more complete description of the meaning of this fields can be
71 * obtained from the Intel SDM, Volume 3, section 3.4.5.
72 */
73
74struct vcpu_hvm_x86_64 {
75 uint64_t rax;
76 uint64_t rcx;
77 uint64_t rdx;
78 uint64_t rbx;
79 uint64_t rsp;
80 uint64_t rbp;
81 uint64_t rsi;
82 uint64_t rdi;
83 uint64_t rip;
84 uint64_t rflags;
85
86 uint64_t cr0;
87 uint64_t cr3;
88 uint64_t cr4;
89 uint64_t efer;
90
91 /*
92 * Using VCPU_HVM_MODE_64B implies that the vCPU is launched
93 * directly in long mode, so the cached parts of the segment
94 * registers get set to match that environment.
95 *
96 * If the user wants to launch the vCPU in compatibility mode
97 * the 32-bit structure should be used instead.
98 */
99};
100
101struct vcpu_hvm_context {
102#define VCPU_HVM_MODE_32B 0 /* 32bit fields of the structure will be used. */
103#define VCPU_HVM_MODE_64B 1 /* 64bit fields of the structure will be used. */
104 uint32_t mode;
105
106 uint32_t pad;
107
108 /* CPU registers. */
109 union {
110 struct vcpu_hvm_x86_32 x86_32;
111 struct vcpu_hvm_x86_64 x86_64;
112 } cpu_regs;
113};
114typedef struct vcpu_hvm_context vcpu_hvm_context_t;
115
116#endif /* __XEN_PUBLIC_HVM_HVM_VCPU_H__ */
1/*
2 * Permission is hereby granted, free of charge, to any person obtaining a copy
3 * of this software and associated documentation files (the "Software"), to
4 * deal in the Software without restriction, including without limitation the
5 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
6 * sell copies of the Software, and to permit persons to whom the Software is
7 * furnished to do so, subject to the following conditions:
8 *
9 * The above copyright notice and this permission notice shall be included in
10 * all copies or substantial portions of the Software.
11 *
12 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
13 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
14 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
15 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
16 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
17 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
18 * DEALINGS IN THE SOFTWARE.
19 *
20 * Copyright (c) 2015, Roger Pau Monne <roger.pau@citrix.com>
21 */
22
23#ifndef __XEN_PUBLIC_HVM_HVM_VCPU_H__
24#define __XEN_PUBLIC_HVM_HVM_VCPU_H__
25
26#include "../xen.h"
27
28struct vcpu_hvm_x86_32 {
29 uint32_t eax;
30 uint32_t ecx;
31 uint32_t edx;
32 uint32_t ebx;
33 uint32_t esp;
34 uint32_t ebp;
35 uint32_t esi;
36 uint32_t edi;
37 uint32_t eip;
38 uint32_t eflags;
39
40 uint32_t cr0;
41 uint32_t cr3;
42 uint32_t cr4;
43
44 uint32_t pad1;
45
46 /*
47 * EFER should only be used to set the NXE bit (if required)
48 * when starting a vCPU in 32bit mode with paging enabled or
49 * to set the LME/LMA bits in order to start the vCPU in
50 * compatibility mode.
51 */
52 uint64_t efer;
53
54 uint32_t cs_base;
55 uint32_t ds_base;
56 uint32_t ss_base;
57 uint32_t es_base;
58 uint32_t tr_base;
59 uint32_t cs_limit;
60 uint32_t ds_limit;
61 uint32_t ss_limit;
62 uint32_t es_limit;
63 uint32_t tr_limit;
64 uint16_t cs_ar;
65 uint16_t ds_ar;
66 uint16_t ss_ar;
67 uint16_t es_ar;
68 uint16_t tr_ar;
69
70 uint16_t pad2[3];
71};
72
73/*
74 * The layout of the _ar fields of the segment registers is the
75 * following:
76 *
77 * Bits [0,3]: type (bits 40-43).
78 * Bit 4: s (descriptor type, bit 44).
79 * Bit [5,6]: dpl (descriptor privilege level, bits 45-46).
80 * Bit 7: p (segment-present, bit 47).
81 * Bit 8: avl (available for system software, bit 52).
82 * Bit 9: l (64-bit code segment, bit 53).
83 * Bit 10: db (meaning depends on the segment, bit 54).
84 * Bit 11: g (granularity, bit 55)
85 * Bits [12,15]: unused, must be blank.
86 *
87 * A more complete description of the meaning of this fields can be
88 * obtained from the Intel SDM, Volume 3, section 3.4.5.
89 */
90
91struct vcpu_hvm_x86_64 {
92 uint64_t rax;
93 uint64_t rcx;
94 uint64_t rdx;
95 uint64_t rbx;
96 uint64_t rsp;
97 uint64_t rbp;
98 uint64_t rsi;
99 uint64_t rdi;
100 uint64_t rip;
101 uint64_t rflags;
102
103 uint64_t cr0;
104 uint64_t cr3;
105 uint64_t cr4;
106 uint64_t efer;
107
108 /*
109 * Using VCPU_HVM_MODE_64B implies that the vCPU is launched
110 * directly in long mode, so the cached parts of the segment
111 * registers get set to match that environment.
112 *
113 * If the user wants to launch the vCPU in compatibility mode
114 * the 32-bit structure should be used instead.
115 */
116};
117
118struct vcpu_hvm_context {
119#define VCPU_HVM_MODE_32B 0 /* 32bit fields of the structure will be used. */
120#define VCPU_HVM_MODE_64B 1 /* 64bit fields of the structure will be used. */
121 uint32_t mode;
122
123 uint32_t pad;
124
125 /* CPU registers. */
126 union {
127 struct vcpu_hvm_x86_32 x86_32;
128 struct vcpu_hvm_x86_64 x86_64;
129 } cpu_regs;
130};
131typedef struct vcpu_hvm_context vcpu_hvm_context_t;
132
133#endif /* __XEN_PUBLIC_HVM_HVM_VCPU_H__ */
134
135/*
136 * Local variables:
137 * mode: C
138 * c-file-style: "BSD"
139 * c-basic-offset: 4
140 * tab-width: 4
141 * indent-tabs-mode: nil
142 * End:
143 */