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