[PATCH] KVM: MMU: Free pages on kvm destruction
[linux-block.git] / drivers / kvm / kvm.h
CommitLineData
6aa8b732
AK
1#ifndef __KVM_H
2#define __KVM_H
3
4/*
5 * This work is licensed under the terms of the GNU GPL, version 2. See
6 * the COPYING file in the top-level directory.
7 */
8
9#include <linux/types.h>
10#include <linux/list.h>
11#include <linux/mutex.h>
12#include <linux/spinlock.h>
13#include <linux/mm.h>
14
15#include "vmx.h"
16#include <linux/kvm.h>
17
18#define CR0_PE_MASK (1ULL << 0)
19#define CR0_TS_MASK (1ULL << 3)
20#define CR0_NE_MASK (1ULL << 5)
21#define CR0_WP_MASK (1ULL << 16)
22#define CR0_NW_MASK (1ULL << 29)
23#define CR0_CD_MASK (1ULL << 30)
24#define CR0_PG_MASK (1ULL << 31)
25
26#define CR3_WPT_MASK (1ULL << 3)
27#define CR3_PCD_MASK (1ULL << 4)
28
29#define CR3_RESEVED_BITS 0x07ULL
30#define CR3_L_MODE_RESEVED_BITS (~((1ULL << 40) - 1) | 0x0fe7ULL)
31#define CR3_FLAGS_MASK ((1ULL << 5) - 1)
32
33#define CR4_VME_MASK (1ULL << 0)
34#define CR4_PSE_MASK (1ULL << 4)
35#define CR4_PAE_MASK (1ULL << 5)
36#define CR4_PGE_MASK (1ULL << 7)
37#define CR4_VMXE_MASK (1ULL << 13)
38
39#define KVM_GUEST_CR0_MASK \
40 (CR0_PG_MASK | CR0_PE_MASK | CR0_WP_MASK | CR0_NE_MASK \
41 | CR0_NW_MASK | CR0_CD_MASK)
42#define KVM_VM_CR0_ALWAYS_ON \
43 (CR0_PG_MASK | CR0_PE_MASK | CR0_WP_MASK | CR0_NE_MASK)
44#define KVM_GUEST_CR4_MASK \
45 (CR4_PSE_MASK | CR4_PAE_MASK | CR4_PGE_MASK | CR4_VMXE_MASK | CR4_VME_MASK)
46#define KVM_PMODE_VM_CR4_ALWAYS_ON (CR4_VMXE_MASK | CR4_PAE_MASK)
47#define KVM_RMODE_VM_CR4_ALWAYS_ON (CR4_VMXE_MASK | CR4_PAE_MASK | CR4_VME_MASK)
48
49#define INVALID_PAGE (~(hpa_t)0)
50#define UNMAPPED_GVA (~(gpa_t)0)
51
52#define KVM_MAX_VCPUS 1
53#define KVM_MEMORY_SLOTS 4
54#define KVM_NUM_MMU_PAGES 256
ebeace86
AK
55#define KVM_MIN_FREE_MMU_PAGES 5
56#define KVM_REFILL_PAGES 25
6aa8b732
AK
57
58#define FX_IMAGE_SIZE 512
59#define FX_IMAGE_ALIGN 16
60#define FX_BUF_SIZE (2 * FX_IMAGE_SIZE + FX_IMAGE_ALIGN)
61
62#define DE_VECTOR 0
63#define DF_VECTOR 8
64#define TS_VECTOR 10
65#define NP_VECTOR 11
66#define SS_VECTOR 12
67#define GP_VECTOR 13
68#define PF_VECTOR 14
69
70#define SELECTOR_TI_MASK (1 << 2)
71#define SELECTOR_RPL_MASK 0x03
72
73#define IOPL_SHIFT 12
74
75/*
76 * Address types:
77 *
78 * gva - guest virtual address
79 * gpa - guest physical address
80 * gfn - guest frame number
81 * hva - host virtual address
82 * hpa - host physical address
83 * hfn - host frame number
84 */
85
86typedef unsigned long gva_t;
87typedef u64 gpa_t;
88typedef unsigned long gfn_t;
89
90typedef unsigned long hva_t;
91typedef u64 hpa_t;
92typedef unsigned long hfn_t;
93
cea0f0e7
AK
94#define NR_PTE_CHAIN_ENTRIES 5
95
96struct kvm_pte_chain {
97 u64 *parent_ptes[NR_PTE_CHAIN_ENTRIES];
98 struct hlist_node link;
99};
100
101/*
102 * kvm_mmu_page_role, below, is defined as:
103 *
104 * bits 0:3 - total guest paging levels (2-4, or zero for real mode)
105 * bits 4:7 - page table level for this shadow (1-4)
106 * bits 8:9 - page table quadrant for 2-level guests
107 * bit 16 - "metaphysical" - gfn is not a real page (huge page/real mode)
108 */
109union kvm_mmu_page_role {
110 unsigned word;
111 struct {
112 unsigned glevels : 4;
113 unsigned level : 4;
114 unsigned quadrant : 2;
115 unsigned pad_for_nice_hex_output : 6;
116 unsigned metaphysical : 1;
117 };
118};
119
6aa8b732
AK
120struct kvm_mmu_page {
121 struct list_head link;
cea0f0e7
AK
122 struct hlist_node hash_link;
123
124 /*
125 * The following two entries are used to key the shadow page in the
126 * hash table.
127 */
128 gfn_t gfn;
129 union kvm_mmu_page_role role;
130
6aa8b732
AK
131 hpa_t page_hpa;
132 unsigned long slot_bitmap; /* One bit set per slot which has memory
133 * in this shadow page.
134 */
135 int global; /* Set if all ptes in this page are global */
cea0f0e7 136 int multimapped; /* More than one parent_pte? */
3bb65a22 137 int root_count; /* Currently serving as active root */
cea0f0e7
AK
138 union {
139 u64 *parent_pte; /* !multimapped */
140 struct hlist_head parent_ptes; /* multimapped, kvm_pte_chain */
141 };
6aa8b732
AK
142};
143
144struct vmcs {
145 u32 revision_id;
146 u32 abort;
147 char data[0];
148};
149
150#define vmx_msr_entry kvm_msr_entry
151
152struct kvm_vcpu;
153
154/*
155 * x86 supports 3 paging modes (4-level 64-bit, 3-level 64-bit, and 2-level
156 * 32-bit). The kvm_mmu structure abstracts the details of the current mmu
157 * mode.
158 */
159struct kvm_mmu {
160 void (*new_cr3)(struct kvm_vcpu *vcpu);
161 int (*page_fault)(struct kvm_vcpu *vcpu, gva_t gva, u32 err);
6aa8b732
AK
162 void (*free)(struct kvm_vcpu *vcpu);
163 gpa_t (*gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t gva);
164 hpa_t root_hpa;
165 int root_level;
166 int shadow_root_level;
17ac10ad
AK
167
168 u64 *pae_root;
6aa8b732
AK
169};
170
171struct kvm_guest_debug {
172 int enabled;
173 unsigned long bp[4];
174 int singlestep;
175};
176
177enum {
178 VCPU_REGS_RAX = 0,
179 VCPU_REGS_RCX = 1,
180 VCPU_REGS_RDX = 2,
181 VCPU_REGS_RBX = 3,
182 VCPU_REGS_RSP = 4,
183 VCPU_REGS_RBP = 5,
184 VCPU_REGS_RSI = 6,
185 VCPU_REGS_RDI = 7,
05b3e0c2 186#ifdef CONFIG_X86_64
6aa8b732
AK
187 VCPU_REGS_R8 = 8,
188 VCPU_REGS_R9 = 9,
189 VCPU_REGS_R10 = 10,
190 VCPU_REGS_R11 = 11,
191 VCPU_REGS_R12 = 12,
192 VCPU_REGS_R13 = 13,
193 VCPU_REGS_R14 = 14,
194 VCPU_REGS_R15 = 15,
195#endif
196 NR_VCPU_REGS
197};
198
199enum {
200 VCPU_SREG_CS,
201 VCPU_SREG_DS,
202 VCPU_SREG_ES,
203 VCPU_SREG_FS,
204 VCPU_SREG_GS,
205 VCPU_SREG_SS,
206 VCPU_SREG_TR,
207 VCPU_SREG_LDTR,
208};
209
210struct kvm_vcpu {
211 struct kvm *kvm;
212 union {
213 struct vmcs *vmcs;
214 struct vcpu_svm *svm;
215 };
216 struct mutex mutex;
217 int cpu;
218 int launched;
c1150d8c 219 int interrupt_window_open;
6aa8b732
AK
220 unsigned long irq_summary; /* bit vector: 1 per word in irq_pending */
221#define NR_IRQ_WORDS KVM_IRQ_BITMAP_SIZE(unsigned long)
222 unsigned long irq_pending[NR_IRQ_WORDS];
223 unsigned long regs[NR_VCPU_REGS]; /* for rsp: vcpu_load_rsp_rip() */
224 unsigned long rip; /* needs vcpu_load_rsp_rip() */
225
226 unsigned long cr0;
227 unsigned long cr2;
228 unsigned long cr3;
229 unsigned long cr4;
230 unsigned long cr8;
1342d353 231 u64 pdptrs[4]; /* pae */
6aa8b732
AK
232 u64 shadow_efer;
233 u64 apic_base;
234 int nmsrs;
235 struct vmx_msr_entry *guest_msrs;
236 struct vmx_msr_entry *host_msrs;
237
238 struct list_head free_pages;
239 struct kvm_mmu_page page_header_buf[KVM_NUM_MMU_PAGES];
240 struct kvm_mmu mmu;
241
86a5ba02
AK
242 gfn_t last_pt_write_gfn;
243 int last_pt_write_count;
244
6aa8b732
AK
245 struct kvm_guest_debug guest_debug;
246
247 char fx_buf[FX_BUF_SIZE];
248 char *host_fx_image;
249 char *guest_fx_image;
250
251 int mmio_needed;
252 int mmio_read_completed;
253 int mmio_is_write;
254 int mmio_size;
255 unsigned char mmio_data[8];
256 gpa_t mmio_phys_addr;
257
258 struct {
259 int active;
260 u8 save_iopl;
261 struct kvm_save_segment {
262 u16 selector;
263 unsigned long base;
264 u32 limit;
265 u32 ar;
266 } tr, es, ds, fs, gs;
267 } rmode;
268};
269
270struct kvm_memory_slot {
271 gfn_t base_gfn;
272 unsigned long npages;
273 unsigned long flags;
274 struct page **phys_mem;
275 unsigned long *dirty_bitmap;
276};
277
278struct kvm {
279 spinlock_t lock; /* protects everything except vcpus */
280 int nmemslots;
281 struct kvm_memory_slot memslots[KVM_MEMORY_SLOTS];
cea0f0e7
AK
282 /*
283 * Hash table of struct kvm_mmu_page.
284 */
6aa8b732 285 struct list_head active_mmu_pages;
ebeace86 286 int n_free_mmu_pages;
cea0f0e7 287 struct hlist_head mmu_page_hash[KVM_NUM_MMU_PAGES];
6aa8b732
AK
288 struct kvm_vcpu vcpus[KVM_MAX_VCPUS];
289 int memory_config_version;
290 int busy;
cd4a4e53 291 unsigned long rmap_overflow;
6aa8b732
AK
292};
293
294struct kvm_stat {
295 u32 pf_fixed;
296 u32 pf_guest;
297 u32 tlb_flush;
298 u32 invlpg;
299
300 u32 exits;
301 u32 io_exits;
302 u32 mmio_exits;
303 u32 signal_exits;
c1150d8c
DL
304 u32 irq_window_exits;
305 u32 halt_exits;
306 u32 request_irq_exits;
6aa8b732
AK
307 u32 irq_exits;
308};
309
310struct descriptor_table {
311 u16 limit;
312 unsigned long base;
313} __attribute__((packed));
314
315struct kvm_arch_ops {
316 int (*cpu_has_kvm_support)(void); /* __init */
317 int (*disabled_by_bios)(void); /* __init */
318 void (*hardware_enable)(void *dummy); /* __init */
319 void (*hardware_disable)(void *dummy);
320 int (*hardware_setup)(void); /* __init */
321 void (*hardware_unsetup)(void); /* __exit */
322
323 int (*vcpu_create)(struct kvm_vcpu *vcpu);
324 void (*vcpu_free)(struct kvm_vcpu *vcpu);
325
326 struct kvm_vcpu *(*vcpu_load)(struct kvm_vcpu *vcpu);
327 void (*vcpu_put)(struct kvm_vcpu *vcpu);
328
329 int (*set_guest_debug)(struct kvm_vcpu *vcpu,
330 struct kvm_debug_guest *dbg);
331 int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata);
332 int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
333 u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg);
334 void (*get_segment)(struct kvm_vcpu *vcpu,
335 struct kvm_segment *var, int seg);
336 void (*set_segment)(struct kvm_vcpu *vcpu,
337 struct kvm_segment *var, int seg);
6aa8b732 338 void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l);
399badf3 339 void (*decache_cr0_cr4_guest_bits)(struct kvm_vcpu *vcpu);
6aa8b732
AK
340 void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0);
341 void (*set_cr0_no_modeswitch)(struct kvm_vcpu *vcpu,
342 unsigned long cr0);
343 void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3);
344 void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4);
345 void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer);
346 void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
347 void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
348 void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
349 void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
350 unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr);
351 void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value,
352 int *exception);
353 void (*cache_regs)(struct kvm_vcpu *vcpu);
354 void (*decache_regs)(struct kvm_vcpu *vcpu);
355 unsigned long (*get_rflags)(struct kvm_vcpu *vcpu);
356 void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags);
357
358 void (*invlpg)(struct kvm_vcpu *vcpu, gva_t addr);
359 void (*tlb_flush)(struct kvm_vcpu *vcpu);
360 void (*inject_page_fault)(struct kvm_vcpu *vcpu,
361 unsigned long addr, u32 err_code);
362
363 void (*inject_gp)(struct kvm_vcpu *vcpu, unsigned err_code);
364
365 int (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run);
366 int (*vcpu_setup)(struct kvm_vcpu *vcpu);
367 void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu);
368};
369
370extern struct kvm_stat kvm_stat;
371extern struct kvm_arch_ops *kvm_arch_ops;
372
373#define kvm_printf(kvm, fmt ...) printk(KERN_DEBUG fmt)
374#define vcpu_printf(vcpu, fmt...) kvm_printf(vcpu->kvm, fmt)
375
376int kvm_init_arch(struct kvm_arch_ops *ops, struct module *module);
377void kvm_exit_arch(void);
378
379void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
8018c27b
IM
380int kvm_mmu_create(struct kvm_vcpu *vcpu);
381int kvm_mmu_setup(struct kvm_vcpu *vcpu);
6aa8b732
AK
382
383int kvm_mmu_reset_context(struct kvm_vcpu *vcpu);
384void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot);
385
386hpa_t gpa_to_hpa(struct kvm_vcpu *vcpu, gpa_t gpa);
387#define HPA_MSB ((sizeof(hpa_t) * 8) - 1)
388#define HPA_ERR_MASK ((hpa_t)1 << HPA_MSB)
389static inline int is_error_hpa(hpa_t hpa) { return hpa >> HPA_MSB; }
390hpa_t gva_to_hpa(struct kvm_vcpu *vcpu, gva_t gva);
391
392void kvm_emulator_want_group7_invlpg(void);
393
394extern hpa_t bad_page_address;
395
396static inline struct page *gfn_to_page(struct kvm_memory_slot *slot, gfn_t gfn)
397{
398 return slot->phys_mem[gfn - slot->base_gfn];
399}
400
401struct kvm_memory_slot *gfn_to_memslot(struct kvm *kvm, gfn_t gfn);
402void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
403
404enum emulation_result {
405 EMULATE_DONE, /* no further processing */
406 EMULATE_DO_MMIO, /* kvm_run filled with mmio request */
407 EMULATE_FAIL, /* can't emulate this instruction */
408};
409
410int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run,
411 unsigned long cr2, u16 error_code);
412void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
413void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
414void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw,
415 unsigned long *rflags);
416
417unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr);
418void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value,
419 unsigned long *rflags);
420
421struct x86_emulate_ctxt;
422
423int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address);
424int emulate_clts(struct kvm_vcpu *vcpu);
425int emulator_get_dr(struct x86_emulate_ctxt* ctxt, int dr,
426 unsigned long *dest);
427int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr,
428 unsigned long value);
429
430void set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0);
431void set_cr3(struct kvm_vcpu *vcpu, unsigned long cr0);
432void set_cr4(struct kvm_vcpu *vcpu, unsigned long cr0);
433void set_cr8(struct kvm_vcpu *vcpu, unsigned long cr0);
434void lmsw(struct kvm_vcpu *vcpu, unsigned long msw);
435
3bab1f5d
AK
436int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata);
437int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data);
6aa8b732
AK
438
439void fx_init(struct kvm_vcpu *vcpu);
440
441void load_msrs(struct vmx_msr_entry *e, int n);
442void save_msrs(struct vmx_msr_entry *e, int n);
443void kvm_resched(struct kvm_vcpu *vcpu);
444
445int kvm_read_guest(struct kvm_vcpu *vcpu,
446 gva_t addr,
447 unsigned long size,
448 void *dest);
449
450int kvm_write_guest(struct kvm_vcpu *vcpu,
451 gva_t addr,
452 unsigned long size,
453 void *data);
454
455unsigned long segment_base(u16 selector);
456
da4a00f0
AK
457void kvm_mmu_pre_write(struct kvm_vcpu *vcpu, gpa_t gpa, int bytes);
458void kvm_mmu_post_write(struct kvm_vcpu *vcpu, gpa_t gpa, int bytes);
a436036b 459int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva);
ebeace86
AK
460void kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu);
461
462static inline int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t gva,
463 u32 error_code)
464{
465 if (unlikely(vcpu->kvm->n_free_mmu_pages < KVM_MIN_FREE_MMU_PAGES))
466 kvm_mmu_free_some_pages(vcpu);
467 return vcpu->mmu.page_fault(vcpu, gva, error_code);
468}
da4a00f0 469
6aa8b732
AK
470static inline struct page *_gfn_to_page(struct kvm *kvm, gfn_t gfn)
471{
472 struct kvm_memory_slot *slot = gfn_to_memslot(kvm, gfn);
473 return (slot) ? slot->phys_mem[gfn - slot->base_gfn] : NULL;
474}
475
a9058ecd
AK
476static inline int is_long_mode(struct kvm_vcpu *vcpu)
477{
478#ifdef CONFIG_X86_64
479 return vcpu->shadow_efer & EFER_LME;
480#else
481 return 0;
482#endif
483}
484
6aa8b732
AK
485static inline int is_pae(struct kvm_vcpu *vcpu)
486{
487 return vcpu->cr4 & CR4_PAE_MASK;
488}
489
490static inline int is_pse(struct kvm_vcpu *vcpu)
491{
492 return vcpu->cr4 & CR4_PSE_MASK;
493}
494
495static inline int is_paging(struct kvm_vcpu *vcpu)
496{
497 return vcpu->cr0 & CR0_PG_MASK;
498}
499
500static inline int memslot_id(struct kvm *kvm, struct kvm_memory_slot *slot)
501{
502 return slot - kvm->memslots;
503}
504
505static inline struct kvm_mmu_page *page_header(hpa_t shadow_page)
506{
507 struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT);
508
509 return (struct kvm_mmu_page *)page->private;
510}
511
512static inline u16 read_fs(void)
513{
514 u16 seg;
515 asm ("mov %%fs, %0" : "=g"(seg));
516 return seg;
517}
518
519static inline u16 read_gs(void)
520{
521 u16 seg;
522 asm ("mov %%gs, %0" : "=g"(seg));
523 return seg;
524}
525
526static inline u16 read_ldt(void)
527{
528 u16 ldt;
529 asm ("sldt %0" : "=g"(ldt));
530 return ldt;
531}
532
533static inline void load_fs(u16 sel)
534{
535 asm ("mov %0, %%fs" : : "rm"(sel));
536}
537
538static inline void load_gs(u16 sel)
539{
540 asm ("mov %0, %%gs" : : "rm"(sel));
541}
542
543#ifndef load_ldt
544static inline void load_ldt(u16 sel)
545{
546 asm ("lldt %0" : : "g"(sel));
547}
548#endif
549
550static inline void get_idt(struct descriptor_table *table)
551{
552 asm ("sidt %0" : "=m"(*table));
553}
554
555static inline void get_gdt(struct descriptor_table *table)
556{
557 asm ("sgdt %0" : "=m"(*table));
558}
559
560static inline unsigned long read_tr_base(void)
561{
562 u16 tr;
563 asm ("str %0" : "=g"(tr));
564 return segment_base(tr);
565}
566
05b3e0c2 567#ifdef CONFIG_X86_64
6aa8b732
AK
568static inline unsigned long read_msr(unsigned long msr)
569{
570 u64 value;
571
572 rdmsrl(msr, value);
573 return value;
574}
575#endif
576
577static inline void fx_save(void *image)
578{
579 asm ("fxsave (%0)":: "r" (image));
580}
581
582static inline void fx_restore(void *image)
583{
584 asm ("fxrstor (%0)":: "r" (image));
585}
586
587static inline void fpu_init(void)
588{
589 asm ("finit");
590}
591
592static inline u32 get_rdx_init_val(void)
593{
594 return 0x600; /* P6 family */
595}
596
597#define ASM_VMX_VMCLEAR_RAX ".byte 0x66, 0x0f, 0xc7, 0x30"
598#define ASM_VMX_VMLAUNCH ".byte 0x0f, 0x01, 0xc2"
599#define ASM_VMX_VMRESUME ".byte 0x0f, 0x01, 0xc3"
600#define ASM_VMX_VMPTRLD_RAX ".byte 0x0f, 0xc7, 0x30"
601#define ASM_VMX_VMREAD_RDX_RAX ".byte 0x0f, 0x78, 0xd0"
602#define ASM_VMX_VMWRITE_RAX_RDX ".byte 0x0f, 0x79, 0xd0"
603#define ASM_VMX_VMWRITE_RSP_RDX ".byte 0x0f, 0x79, 0xd4"
604#define ASM_VMX_VMXOFF ".byte 0x0f, 0x01, 0xc4"
605#define ASM_VMX_VMXON_RAX ".byte 0xf3, 0x0f, 0xc7, 0x30"
606
607#define MSR_IA32_TIME_STAMP_COUNTER 0x010
608
609#define TSS_IOPB_BASE_OFFSET 0x66
610#define TSS_BASE_SIZE 0x68
611#define TSS_IOPB_SIZE (65536 / 8)
612#define TSS_REDIRECTION_SIZE (256 / 8)
613#define RMODE_TSS_SIZE (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1)
614
6aa8b732 615#endif