]> git.karo-electronics.de Git - karo-tx-linux.git/blob - include/asm-x86/kvm_host.h
KVM: MMU: Add cache miss statistic
[karo-tx-linux.git] / include / asm-x86 / kvm_host.h
1 #/*
2  * Kernel-based Virtual Machine driver for Linux
3  *
4  * This header defines architecture specific interfaces, x86 version
5  *
6  * This work is licensed under the terms of the GNU GPL, version 2.  See
7  * the COPYING file in the top-level directory.
8  *
9  */
10
11 #ifndef ASM_KVM_HOST_H
12 #define ASM_KVM_HOST_H
13
14 #include <linux/types.h>
15 #include <linux/mm.h>
16
17 #include <linux/kvm.h>
18 #include <linux/kvm_para.h>
19 #include <linux/kvm_types.h>
20
21 #include <asm/desc.h>
22
23 #define CR3_PAE_RESERVED_BITS ((X86_CR3_PWT | X86_CR3_PCD) - 1)
24 #define CR3_NONPAE_RESERVED_BITS ((PAGE_SIZE-1) & ~(X86_CR3_PWT | X86_CR3_PCD))
25 #define CR3_L_MODE_RESERVED_BITS (CR3_NONPAE_RESERVED_BITS|0xFFFFFF0000000000ULL)
26
27 #define KVM_GUEST_CR0_MASK \
28         (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE \
29          | X86_CR0_NW | X86_CR0_CD)
30 #define KVM_VM_CR0_ALWAYS_ON \
31         (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE | X86_CR0_TS \
32          | X86_CR0_MP)
33 #define KVM_GUEST_CR4_MASK \
34         (X86_CR4_VME | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_PGE | X86_CR4_VMXE)
35 #define KVM_PMODE_VM_CR4_ALWAYS_ON (X86_CR4_PAE | X86_CR4_VMXE)
36 #define KVM_RMODE_VM_CR4_ALWAYS_ON (X86_CR4_VME | X86_CR4_PAE | X86_CR4_VMXE)
37
38 #define INVALID_PAGE (~(hpa_t)0)
39 #define UNMAPPED_GVA (~(gpa_t)0)
40
41 #define DE_VECTOR 0
42 #define UD_VECTOR 6
43 #define NM_VECTOR 7
44 #define DF_VECTOR 8
45 #define TS_VECTOR 10
46 #define NP_VECTOR 11
47 #define SS_VECTOR 12
48 #define GP_VECTOR 13
49 #define PF_VECTOR 14
50
51 #define SELECTOR_TI_MASK (1 << 2)
52 #define SELECTOR_RPL_MASK 0x03
53
54 #define IOPL_SHIFT 12
55
56 #define KVM_ALIAS_SLOTS 4
57
58 #define KVM_PERMILLE_MMU_PAGES 20
59 #define KVM_MIN_ALLOC_MMU_PAGES 64
60 #define KVM_NUM_MMU_PAGES 1024
61 #define KVM_MIN_FREE_MMU_PAGES 5
62 #define KVM_REFILL_PAGES 25
63 #define KVM_MAX_CPUID_ENTRIES 40
64
65 extern spinlock_t kvm_lock;
66 extern struct list_head vm_list;
67
68 struct kvm_vcpu;
69 struct kvm;
70
71 enum {
72         VCPU_REGS_RAX = 0,
73         VCPU_REGS_RCX = 1,
74         VCPU_REGS_RDX = 2,
75         VCPU_REGS_RBX = 3,
76         VCPU_REGS_RSP = 4,
77         VCPU_REGS_RBP = 5,
78         VCPU_REGS_RSI = 6,
79         VCPU_REGS_RDI = 7,
80 #ifdef CONFIG_X86_64
81         VCPU_REGS_R8 = 8,
82         VCPU_REGS_R9 = 9,
83         VCPU_REGS_R10 = 10,
84         VCPU_REGS_R11 = 11,
85         VCPU_REGS_R12 = 12,
86         VCPU_REGS_R13 = 13,
87         VCPU_REGS_R14 = 14,
88         VCPU_REGS_R15 = 15,
89 #endif
90         NR_VCPU_REGS
91 };
92
93 enum {
94         VCPU_SREG_CS,
95         VCPU_SREG_DS,
96         VCPU_SREG_ES,
97         VCPU_SREG_FS,
98         VCPU_SREG_GS,
99         VCPU_SREG_SS,
100         VCPU_SREG_TR,
101         VCPU_SREG_LDTR,
102 };
103
104 #include <asm/kvm_x86_emulate.h>
105
106 #define KVM_NR_MEM_OBJS 40
107
108 /*
109  * We don't want allocation failures within the mmu code, so we preallocate
110  * enough memory for a single page fault in a cache.
111  */
112 struct kvm_mmu_memory_cache {
113         int nobjs;
114         void *objects[KVM_NR_MEM_OBJS];
115 };
116
117 #define NR_PTE_CHAIN_ENTRIES 5
118
119 struct kvm_pte_chain {
120         u64 *parent_ptes[NR_PTE_CHAIN_ENTRIES];
121         struct hlist_node link;
122 };
123
124 /*
125  * kvm_mmu_page_role, below, is defined as:
126  *
127  *   bits 0:3 - total guest paging levels (2-4, or zero for real mode)
128  *   bits 4:7 - page table level for this shadow (1-4)
129  *   bits 8:9 - page table quadrant for 2-level guests
130  *   bit   16 - "metaphysical" - gfn is not a real page (huge page/real mode)
131  *   bits 17:19 - common access permissions for all ptes in this shadow page
132  */
133 union kvm_mmu_page_role {
134         unsigned word;
135         struct {
136                 unsigned glevels : 4;
137                 unsigned level : 4;
138                 unsigned quadrant : 2;
139                 unsigned pad_for_nice_hex_output : 6;
140                 unsigned metaphysical : 1;
141                 unsigned access : 3;
142         };
143 };
144
145 struct kvm_mmu_page {
146         struct list_head link;
147         struct hlist_node hash_link;
148
149         /*
150          * The following two entries are used to key the shadow page in the
151          * hash table.
152          */
153         gfn_t gfn;
154         union kvm_mmu_page_role role;
155
156         u64 *spt;
157         /* hold the gfn of each spte inside spt */
158         gfn_t *gfns;
159         unsigned long slot_bitmap; /* One bit set per slot which has memory
160                                     * in this shadow page.
161                                     */
162         int multimapped;         /* More than one parent_pte? */
163         int root_count;          /* Currently serving as active root */
164         union {
165                 u64 *parent_pte;               /* !multimapped */
166                 struct hlist_head parent_ptes; /* multimapped, kvm_pte_chain */
167         };
168 };
169
170 /*
171  * x86 supports 3 paging modes (4-level 64-bit, 3-level 64-bit, and 2-level
172  * 32-bit).  The kvm_mmu structure abstracts the details of the current mmu
173  * mode.
174  */
175 struct kvm_mmu {
176         void (*new_cr3)(struct kvm_vcpu *vcpu);
177         int (*page_fault)(struct kvm_vcpu *vcpu, gva_t gva, u32 err);
178         void (*free)(struct kvm_vcpu *vcpu);
179         gpa_t (*gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t gva);
180         void (*prefetch_page)(struct kvm_vcpu *vcpu,
181                               struct kvm_mmu_page *page);
182         hpa_t root_hpa;
183         int root_level;
184         int shadow_root_level;
185
186         u64 *pae_root;
187 };
188
189 struct kvm_vcpu_arch {
190         u64 host_tsc;
191         int interrupt_window_open;
192         unsigned long irq_summary; /* bit vector: 1 per word in irq_pending */
193         DECLARE_BITMAP(irq_pending, KVM_NR_INTERRUPTS);
194         unsigned long regs[NR_VCPU_REGS]; /* for rsp: vcpu_load_rsp_rip() */
195         unsigned long rip;      /* needs vcpu_load_rsp_rip() */
196
197         unsigned long cr0;
198         unsigned long cr2;
199         unsigned long cr3;
200         unsigned long cr4;
201         unsigned long cr8;
202         u64 pdptrs[4]; /* pae */
203         u64 shadow_efer;
204         u64 apic_base;
205         struct kvm_lapic *apic;    /* kernel irqchip context */
206 #define VCPU_MP_STATE_RUNNABLE          0
207 #define VCPU_MP_STATE_UNINITIALIZED     1
208 #define VCPU_MP_STATE_INIT_RECEIVED     2
209 #define VCPU_MP_STATE_SIPI_RECEIVED     3
210 #define VCPU_MP_STATE_HALTED            4
211         int mp_state;
212         int sipi_vector;
213         u64 ia32_misc_enable_msr;
214
215         struct kvm_mmu mmu;
216
217         struct kvm_mmu_memory_cache mmu_pte_chain_cache;
218         struct kvm_mmu_memory_cache mmu_rmap_desc_cache;
219         struct kvm_mmu_memory_cache mmu_page_cache;
220         struct kvm_mmu_memory_cache mmu_page_header_cache;
221
222         gfn_t last_pt_write_gfn;
223         int   last_pt_write_count;
224         u64  *last_pte_updated;
225
226         struct i387_fxsave_struct host_fx_image;
227         struct i387_fxsave_struct guest_fx_image;
228
229         gva_t mmio_fault_cr2;
230         struct kvm_pio_request pio;
231         void *pio_data;
232
233         struct kvm_queued_exception {
234                 bool pending;
235                 bool has_error_code;
236                 u8 nr;
237                 u32 error_code;
238         } exception;
239
240         struct {
241                 int active;
242                 u8 save_iopl;
243                 struct kvm_save_segment {
244                         u16 selector;
245                         unsigned long base;
246                         u32 limit;
247                         u32 ar;
248                 } tr, es, ds, fs, gs;
249         } rmode;
250         int halt_request; /* real mode on Intel only */
251
252         int cpuid_nent;
253         struct kvm_cpuid_entry2 cpuid_entries[KVM_MAX_CPUID_ENTRIES];
254         /* emulate context */
255
256         struct x86_emulate_ctxt emulate_ctxt;
257 };
258
259 struct kvm_mem_alias {
260         gfn_t base_gfn;
261         unsigned long npages;
262         gfn_t target_gfn;
263 };
264
265 struct kvm_arch{
266         int naliases;
267         struct kvm_mem_alias aliases[KVM_ALIAS_SLOTS];
268
269         unsigned int n_free_mmu_pages;
270         unsigned int n_requested_mmu_pages;
271         unsigned int n_alloc_mmu_pages;
272         struct hlist_head mmu_page_hash[KVM_NUM_MMU_PAGES];
273         /*
274          * Hash table of struct kvm_mmu_page.
275          */
276         struct list_head active_mmu_pages;
277         struct kvm_pic *vpic;
278         struct kvm_ioapic *vioapic;
279
280         int round_robin_prev_vcpu;
281         unsigned int tss_addr;
282         struct page *apic_access_page;
283 };
284
285 struct kvm_vm_stat {
286         u32 mmu_shadow_zapped;
287         u32 mmu_pte_write;
288         u32 mmu_pte_updated;
289         u32 mmu_pde_zapped;
290         u32 mmu_flooded;
291         u32 mmu_recycled;
292         u32 mmu_cache_miss;
293         u32 remote_tlb_flush;
294 };
295
296 struct kvm_vcpu_stat {
297         u32 pf_fixed;
298         u32 pf_guest;
299         u32 tlb_flush;
300         u32 invlpg;
301
302         u32 exits;
303         u32 io_exits;
304         u32 mmio_exits;
305         u32 signal_exits;
306         u32 irq_window_exits;
307         u32 halt_exits;
308         u32 halt_wakeup;
309         u32 request_irq_exits;
310         u32 irq_exits;
311         u32 host_state_reload;
312         u32 efer_reload;
313         u32 fpu_reload;
314         u32 insn_emulation;
315         u32 insn_emulation_fail;
316 };
317
318 struct descriptor_table {
319         u16 limit;
320         unsigned long base;
321 } __attribute__((packed));
322
323 struct kvm_x86_ops {
324         int (*cpu_has_kvm_support)(void);          /* __init */
325         int (*disabled_by_bios)(void);             /* __init */
326         void (*hardware_enable)(void *dummy);      /* __init */
327         void (*hardware_disable)(void *dummy);
328         void (*check_processor_compatibility)(void *rtn);
329         int (*hardware_setup)(void);               /* __init */
330         void (*hardware_unsetup)(void);            /* __exit */
331
332         /* Create, but do not attach this VCPU */
333         struct kvm_vcpu *(*vcpu_create)(struct kvm *kvm, unsigned id);
334         void (*vcpu_free)(struct kvm_vcpu *vcpu);
335         int (*vcpu_reset)(struct kvm_vcpu *vcpu);
336
337         void (*prepare_guest_switch)(struct kvm_vcpu *vcpu);
338         void (*vcpu_load)(struct kvm_vcpu *vcpu, int cpu);
339         void (*vcpu_put)(struct kvm_vcpu *vcpu);
340         void (*vcpu_decache)(struct kvm_vcpu *vcpu);
341
342         int (*set_guest_debug)(struct kvm_vcpu *vcpu,
343                                struct kvm_debug_guest *dbg);
344         void (*guest_debug_pre)(struct kvm_vcpu *vcpu);
345         int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata);
346         int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
347         u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg);
348         void (*get_segment)(struct kvm_vcpu *vcpu,
349                             struct kvm_segment *var, int seg);
350         void (*set_segment)(struct kvm_vcpu *vcpu,
351                             struct kvm_segment *var, int seg);
352         void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l);
353         void (*decache_cr4_guest_bits)(struct kvm_vcpu *vcpu);
354         void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0);
355         void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3);
356         void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4);
357         void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer);
358         void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
359         void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
360         void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
361         void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
362         unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr);
363         void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value,
364                        int *exception);
365         void (*cache_regs)(struct kvm_vcpu *vcpu);
366         void (*decache_regs)(struct kvm_vcpu *vcpu);
367         unsigned long (*get_rflags)(struct kvm_vcpu *vcpu);
368         void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags);
369
370         void (*tlb_flush)(struct kvm_vcpu *vcpu);
371
372         void (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run);
373         int (*handle_exit)(struct kvm_run *run, struct kvm_vcpu *vcpu);
374         void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu);
375         void (*patch_hypercall)(struct kvm_vcpu *vcpu,
376                                 unsigned char *hypercall_addr);
377         int (*get_irq)(struct kvm_vcpu *vcpu);
378         void (*set_irq)(struct kvm_vcpu *vcpu, int vec);
379         void (*queue_exception)(struct kvm_vcpu *vcpu, unsigned nr,
380                                 bool has_error_code, u32 error_code);
381         bool (*exception_injected)(struct kvm_vcpu *vcpu);
382         void (*inject_pending_irq)(struct kvm_vcpu *vcpu);
383         void (*inject_pending_vectors)(struct kvm_vcpu *vcpu,
384                                        struct kvm_run *run);
385
386         int (*set_tss_addr)(struct kvm *kvm, unsigned int addr);
387 };
388
389 extern struct kvm_x86_ops *kvm_x86_ops;
390
391 int kvm_mmu_module_init(void);
392 void kvm_mmu_module_exit(void);
393
394 void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
395 int kvm_mmu_create(struct kvm_vcpu *vcpu);
396 int kvm_mmu_setup(struct kvm_vcpu *vcpu);
397 void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte);
398
399 int kvm_mmu_reset_context(struct kvm_vcpu *vcpu);
400 void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot);
401 void kvm_mmu_zap_all(struct kvm *kvm);
402 unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm);
403 void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages);
404
405 enum emulation_result {
406         EMULATE_DONE,       /* no further processing */
407         EMULATE_DO_MMIO,      /* kvm_run filled with mmio request */
408         EMULATE_FAIL,         /* can't emulate this instruction */
409 };
410
411 int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run,
412                         unsigned long cr2, u16 error_code, int no_decode);
413 void kvm_report_emulation_failure(struct kvm_vcpu *cvpu, const char *context);
414 void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
415 void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
416 void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw,
417                    unsigned long *rflags);
418
419 unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr);
420 void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value,
421                      unsigned long *rflags);
422 int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *data);
423 int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
424
425 struct x86_emulate_ctxt;
426
427 int kvm_emulate_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
428                      int size, unsigned port);
429 int kvm_emulate_pio_string(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
430                            int size, unsigned long count, int down,
431                             gva_t address, int rep, unsigned port);
432 void kvm_emulate_cpuid(struct kvm_vcpu *vcpu);
433 int kvm_emulate_halt(struct kvm_vcpu *vcpu);
434 int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address);
435 int emulate_clts(struct kvm_vcpu *vcpu);
436 int emulator_get_dr(struct x86_emulate_ctxt *ctxt, int dr,
437                     unsigned long *dest);
438 int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr,
439                     unsigned long value);
440
441 void set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0);
442 void set_cr3(struct kvm_vcpu *vcpu, unsigned long cr0);
443 void set_cr4(struct kvm_vcpu *vcpu, unsigned long cr0);
444 void set_cr8(struct kvm_vcpu *vcpu, unsigned long cr0);
445 unsigned long get_cr8(struct kvm_vcpu *vcpu);
446 void lmsw(struct kvm_vcpu *vcpu, unsigned long msw);
447 void kvm_get_cs_db_l_bits(struct kvm_vcpu *vcpu, int *db, int *l);
448
449 int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata);
450 int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data);
451
452 void kvm_queue_exception(struct kvm_vcpu *vcpu, unsigned nr);
453 void kvm_queue_exception_e(struct kvm_vcpu *vcpu, unsigned nr, u32 error_code);
454 void kvm_inject_page_fault(struct kvm_vcpu *vcpu, unsigned long cr2,
455                            u32 error_code);
456
457 void fx_init(struct kvm_vcpu *vcpu);
458
459 int emulator_read_std(unsigned long addr,
460                       void *val,
461                       unsigned int bytes,
462                       struct kvm_vcpu *vcpu);
463 int emulator_write_emulated(unsigned long addr,
464                             const void *val,
465                             unsigned int bytes,
466                             struct kvm_vcpu *vcpu);
467
468 unsigned long segment_base(u16 selector);
469
470 void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu);
471 void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
472                        const u8 *new, int bytes);
473 int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva);
474 void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu);
475 int kvm_mmu_load(struct kvm_vcpu *vcpu);
476 void kvm_mmu_unload(struct kvm_vcpu *vcpu);
477
478 int kvm_emulate_hypercall(struct kvm_vcpu *vcpu);
479
480 int kvm_fix_hypercall(struct kvm_vcpu *vcpu);
481
482 int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t gva, u32 error_code);
483
484 int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
485 int complete_pio(struct kvm_vcpu *vcpu);
486
487 static inline struct kvm_mmu_page *page_header(hpa_t shadow_page)
488 {
489         struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT);
490
491         return (struct kvm_mmu_page *)page_private(page);
492 }
493
494 static inline u16 read_fs(void)
495 {
496         u16 seg;
497         asm("mov %%fs, %0" : "=g"(seg));
498         return seg;
499 }
500
501 static inline u16 read_gs(void)
502 {
503         u16 seg;
504         asm("mov %%gs, %0" : "=g"(seg));
505         return seg;
506 }
507
508 static inline u16 read_ldt(void)
509 {
510         u16 ldt;
511         asm("sldt %0" : "=g"(ldt));
512         return ldt;
513 }
514
515 static inline void load_fs(u16 sel)
516 {
517         asm("mov %0, %%fs" : : "rm"(sel));
518 }
519
520 static inline void load_gs(u16 sel)
521 {
522         asm("mov %0, %%gs" : : "rm"(sel));
523 }
524
525 #ifndef load_ldt
526 static inline void load_ldt(u16 sel)
527 {
528         asm("lldt %0" : : "rm"(sel));
529 }
530 #endif
531
532 static inline void get_idt(struct descriptor_table *table)
533 {
534         asm("sidt %0" : "=m"(*table));
535 }
536
537 static inline void get_gdt(struct descriptor_table *table)
538 {
539         asm("sgdt %0" : "=m"(*table));
540 }
541
542 static inline unsigned long read_tr_base(void)
543 {
544         u16 tr;
545         asm("str %0" : "=g"(tr));
546         return segment_base(tr);
547 }
548
549 #ifdef CONFIG_X86_64
550 static inline unsigned long read_msr(unsigned long msr)
551 {
552         u64 value;
553
554         rdmsrl(msr, value);
555         return value;
556 }
557 #endif
558
559 static inline void fx_save(struct i387_fxsave_struct *image)
560 {
561         asm("fxsave (%0)":: "r" (image));
562 }
563
564 static inline void fx_restore(struct i387_fxsave_struct *image)
565 {
566         asm("fxrstor (%0)":: "r" (image));
567 }
568
569 static inline void fpu_init(void)
570 {
571         asm("finit");
572 }
573
574 static inline u32 get_rdx_init_val(void)
575 {
576         return 0x600; /* P6 family */
577 }
578
579 static inline void kvm_inject_gp(struct kvm_vcpu *vcpu, u32 error_code)
580 {
581         kvm_queue_exception_e(vcpu, GP_VECTOR, error_code);
582 }
583
584 #define ASM_VMX_VMCLEAR_RAX       ".byte 0x66, 0x0f, 0xc7, 0x30"
585 #define ASM_VMX_VMLAUNCH          ".byte 0x0f, 0x01, 0xc2"
586 #define ASM_VMX_VMRESUME          ".byte 0x0f, 0x01, 0xc3"
587 #define ASM_VMX_VMPTRLD_RAX       ".byte 0x0f, 0xc7, 0x30"
588 #define ASM_VMX_VMREAD_RDX_RAX    ".byte 0x0f, 0x78, 0xd0"
589 #define ASM_VMX_VMWRITE_RAX_RDX   ".byte 0x0f, 0x79, 0xd0"
590 #define ASM_VMX_VMWRITE_RSP_RDX   ".byte 0x0f, 0x79, 0xd4"
591 #define ASM_VMX_VMXOFF            ".byte 0x0f, 0x01, 0xc4"
592 #define ASM_VMX_VMXON_RAX         ".byte 0xf3, 0x0f, 0xc7, 0x30"
593
594 #define MSR_IA32_TIME_STAMP_COUNTER             0x010
595
596 #define TSS_IOPB_BASE_OFFSET 0x66
597 #define TSS_BASE_SIZE 0x68
598 #define TSS_IOPB_SIZE (65536 / 8)
599 #define TSS_REDIRECTION_SIZE (256 / 8)
600 #define RMODE_TSS_SIZE (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1)
601
602 #endif