Carsten Otte | 043405e | 2007-10-10 17:16:19 +0200 | [diff] [blame] | 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 KVM_X86_H |
| 12 | #define KVM_X86_H |
| 13 | |
| 14 | #include "kvm.h" |
Hollis Blanchard | e01a1b5 | 2007-12-03 15:30:25 -0600 | [diff] [blame^] | 15 | #include "irq.h" |
Carsten Otte | 043405e | 2007-10-10 17:16:19 +0200 | [diff] [blame] | 16 | |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 17 | #include <linux/types.h> |
| 18 | #include <linux/mm.h> |
| 19 | |
| 20 | #include <linux/kvm.h> |
| 21 | #include <linux/kvm_para.h> |
| 22 | |
Hollis Blanchard | e01a1b5 | 2007-12-03 15:30:25 -0600 | [diff] [blame^] | 23 | #include <asm/desc.h> |
| 24 | |
Zhang Xiantao | cd6e8f8 | 2007-11-19 14:33:37 +0800 | [diff] [blame] | 25 | #define CR3_PAE_RESERVED_BITS ((X86_CR3_PWT | X86_CR3_PCD) - 1) |
| 26 | #define CR3_NONPAE_RESERVED_BITS ((PAGE_SIZE-1) & ~(X86_CR3_PWT | X86_CR3_PCD)) |
| 27 | #define CR3_L_MODE_RESERVED_BITS (CR3_NONPAE_RESERVED_BITS|0xFFFFFF0000000000ULL) |
| 28 | |
| 29 | #define KVM_GUEST_CR0_MASK \ |
| 30 | (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE \ |
| 31 | | X86_CR0_NW | X86_CR0_CD) |
| 32 | #define KVM_VM_CR0_ALWAYS_ON \ |
| 33 | (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE | X86_CR0_TS \ |
| 34 | | X86_CR0_MP) |
| 35 | #define KVM_GUEST_CR4_MASK \ |
| 36 | (X86_CR4_VME | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_PGE | X86_CR4_VMXE) |
| 37 | #define KVM_PMODE_VM_CR4_ALWAYS_ON (X86_CR4_PAE | X86_CR4_VMXE) |
| 38 | #define KVM_RMODE_VM_CR4_ALWAYS_ON (X86_CR4_VME | X86_CR4_PAE | X86_CR4_VMXE) |
| 39 | |
| 40 | #define INVALID_PAGE (~(hpa_t)0) |
| 41 | #define UNMAPPED_GVA (~(gpa_t)0) |
| 42 | |
| 43 | #define DE_VECTOR 0 |
| 44 | #define UD_VECTOR 6 |
| 45 | #define NM_VECTOR 7 |
| 46 | #define DF_VECTOR 8 |
| 47 | #define TS_VECTOR 10 |
| 48 | #define NP_VECTOR 11 |
| 49 | #define SS_VECTOR 12 |
| 50 | #define GP_VECTOR 13 |
| 51 | #define PF_VECTOR 14 |
| 52 | |
| 53 | #define SELECTOR_TI_MASK (1 << 2) |
| 54 | #define SELECTOR_RPL_MASK 0x03 |
| 55 | |
| 56 | #define IOPL_SHIFT 12 |
| 57 | |
Zhang Xiantao | e9b11c1 | 2007-11-14 20:38:21 +0800 | [diff] [blame] | 58 | extern spinlock_t kvm_lock; |
| 59 | extern struct list_head vm_list; |
| 60 | |
Zhang Xiantao | 2b3ccfa | 2007-11-19 14:56:05 +0800 | [diff] [blame] | 61 | enum { |
| 62 | VCPU_REGS_RAX = 0, |
| 63 | VCPU_REGS_RCX = 1, |
| 64 | VCPU_REGS_RDX = 2, |
| 65 | VCPU_REGS_RBX = 3, |
| 66 | VCPU_REGS_RSP = 4, |
| 67 | VCPU_REGS_RBP = 5, |
| 68 | VCPU_REGS_RSI = 6, |
| 69 | VCPU_REGS_RDI = 7, |
| 70 | #ifdef CONFIG_X86_64 |
| 71 | VCPU_REGS_R8 = 8, |
| 72 | VCPU_REGS_R9 = 9, |
| 73 | VCPU_REGS_R10 = 10, |
| 74 | VCPU_REGS_R11 = 11, |
| 75 | VCPU_REGS_R12 = 12, |
| 76 | VCPU_REGS_R13 = 13, |
| 77 | VCPU_REGS_R14 = 14, |
| 78 | VCPU_REGS_R15 = 15, |
| 79 | #endif |
| 80 | NR_VCPU_REGS |
| 81 | }; |
| 82 | |
| 83 | enum { |
| 84 | VCPU_SREG_CS, |
| 85 | VCPU_SREG_DS, |
| 86 | VCPU_SREG_ES, |
| 87 | VCPU_SREG_FS, |
| 88 | VCPU_SREG_GS, |
| 89 | VCPU_SREG_SS, |
| 90 | VCPU_SREG_TR, |
| 91 | VCPU_SREG_LDTR, |
| 92 | }; |
| 93 | |
| 94 | #include "x86_emulate.h" |
| 95 | |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 96 | struct kvm_vcpu { |
| 97 | KVM_VCPU_COMM; |
| 98 | u64 host_tsc; |
| 99 | int interrupt_window_open; |
| 100 | unsigned long irq_summary; /* bit vector: 1 per word in irq_pending */ |
| 101 | DECLARE_BITMAP(irq_pending, KVM_NR_INTERRUPTS); |
| 102 | unsigned long regs[NR_VCPU_REGS]; /* for rsp: vcpu_load_rsp_rip() */ |
| 103 | unsigned long rip; /* needs vcpu_load_rsp_rip() */ |
| 104 | |
| 105 | unsigned long cr0; |
| 106 | unsigned long cr2; |
| 107 | unsigned long cr3; |
| 108 | unsigned long cr4; |
| 109 | unsigned long cr8; |
| 110 | u64 pdptrs[4]; /* pae */ |
| 111 | u64 shadow_efer; |
| 112 | u64 apic_base; |
| 113 | struct kvm_lapic *apic; /* kernel irqchip context */ |
| 114 | #define VCPU_MP_STATE_RUNNABLE 0 |
| 115 | #define VCPU_MP_STATE_UNINITIALIZED 1 |
| 116 | #define VCPU_MP_STATE_INIT_RECEIVED 2 |
| 117 | #define VCPU_MP_STATE_SIPI_RECEIVED 3 |
| 118 | #define VCPU_MP_STATE_HALTED 4 |
| 119 | int mp_state; |
| 120 | int sipi_vector; |
| 121 | u64 ia32_misc_enable_msr; |
| 122 | |
| 123 | struct kvm_mmu mmu; |
| 124 | |
| 125 | struct kvm_mmu_memory_cache mmu_pte_chain_cache; |
| 126 | struct kvm_mmu_memory_cache mmu_rmap_desc_cache; |
| 127 | struct kvm_mmu_memory_cache mmu_page_cache; |
| 128 | struct kvm_mmu_memory_cache mmu_page_header_cache; |
| 129 | |
| 130 | gfn_t last_pt_write_gfn; |
| 131 | int last_pt_write_count; |
| 132 | u64 *last_pte_updated; |
| 133 | |
| 134 | |
| 135 | struct i387_fxsave_struct host_fx_image; |
| 136 | struct i387_fxsave_struct guest_fx_image; |
| 137 | |
| 138 | gva_t mmio_fault_cr2; |
| 139 | struct kvm_pio_request pio; |
| 140 | void *pio_data; |
| 141 | |
| 142 | struct { |
| 143 | int active; |
| 144 | u8 save_iopl; |
| 145 | struct kvm_save_segment { |
| 146 | u16 selector; |
| 147 | unsigned long base; |
| 148 | u32 limit; |
| 149 | u32 ar; |
| 150 | } tr, es, ds, fs, gs; |
| 151 | } rmode; |
| 152 | int halt_request; /* real mode on Intel only */ |
| 153 | |
| 154 | int cpuid_nent; |
Dan Kenigsberg | 0771671 | 2007-11-21 17:10:04 +0200 | [diff] [blame] | 155 | struct kvm_cpuid_entry2 cpuid_entries[KVM_MAX_CPUID_ENTRIES]; |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 156 | |
| 157 | /* emulate context */ |
| 158 | |
| 159 | struct x86_emulate_ctxt emulate_ctxt; |
| 160 | }; |
| 161 | |
Hollis Blanchard | e01a1b5 | 2007-12-03 15:30:25 -0600 | [diff] [blame^] | 162 | struct descriptor_table { |
| 163 | u16 limit; |
| 164 | unsigned long base; |
| 165 | } __attribute__((packed)); |
| 166 | |
Zhang Xiantao | ea4a5ff | 2007-11-19 14:40:47 +0800 | [diff] [blame] | 167 | struct kvm_x86_ops { |
| 168 | int (*cpu_has_kvm_support)(void); /* __init */ |
| 169 | int (*disabled_by_bios)(void); /* __init */ |
| 170 | void (*hardware_enable)(void *dummy); /* __init */ |
| 171 | void (*hardware_disable)(void *dummy); |
| 172 | void (*check_processor_compatibility)(void *rtn); |
| 173 | int (*hardware_setup)(void); /* __init */ |
| 174 | void (*hardware_unsetup)(void); /* __exit */ |
| 175 | |
| 176 | /* Create, but do not attach this VCPU */ |
| 177 | struct kvm_vcpu *(*vcpu_create)(struct kvm *kvm, unsigned id); |
| 178 | void (*vcpu_free)(struct kvm_vcpu *vcpu); |
| 179 | int (*vcpu_reset)(struct kvm_vcpu *vcpu); |
| 180 | |
| 181 | void (*prepare_guest_switch)(struct kvm_vcpu *vcpu); |
| 182 | void (*vcpu_load)(struct kvm_vcpu *vcpu, int cpu); |
| 183 | void (*vcpu_put)(struct kvm_vcpu *vcpu); |
| 184 | void (*vcpu_decache)(struct kvm_vcpu *vcpu); |
| 185 | |
| 186 | int (*set_guest_debug)(struct kvm_vcpu *vcpu, |
| 187 | struct kvm_debug_guest *dbg); |
| 188 | void (*guest_debug_pre)(struct kvm_vcpu *vcpu); |
| 189 | int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata); |
| 190 | int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data); |
| 191 | u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg); |
| 192 | void (*get_segment)(struct kvm_vcpu *vcpu, |
| 193 | struct kvm_segment *var, int seg); |
| 194 | void (*set_segment)(struct kvm_vcpu *vcpu, |
| 195 | struct kvm_segment *var, int seg); |
| 196 | void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l); |
| 197 | void (*decache_cr4_guest_bits)(struct kvm_vcpu *vcpu); |
| 198 | void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 199 | void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3); |
| 200 | void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4); |
| 201 | void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer); |
| 202 | void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 203 | void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 204 | void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 205 | void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 206 | unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr); |
| 207 | void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value, |
| 208 | int *exception); |
| 209 | void (*cache_regs)(struct kvm_vcpu *vcpu); |
| 210 | void (*decache_regs)(struct kvm_vcpu *vcpu); |
| 211 | unsigned long (*get_rflags)(struct kvm_vcpu *vcpu); |
| 212 | void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags); |
| 213 | |
| 214 | void (*tlb_flush)(struct kvm_vcpu *vcpu); |
| 215 | void (*inject_page_fault)(struct kvm_vcpu *vcpu, |
| 216 | unsigned long addr, u32 err_code); |
| 217 | |
| 218 | void (*inject_gp)(struct kvm_vcpu *vcpu, unsigned err_code); |
| 219 | |
| 220 | void (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run); |
| 221 | int (*handle_exit)(struct kvm_run *run, struct kvm_vcpu *vcpu); |
| 222 | void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu); |
| 223 | void (*patch_hypercall)(struct kvm_vcpu *vcpu, |
| 224 | unsigned char *hypercall_addr); |
| 225 | int (*get_irq)(struct kvm_vcpu *vcpu); |
| 226 | void (*set_irq)(struct kvm_vcpu *vcpu, int vec); |
| 227 | void (*inject_pending_irq)(struct kvm_vcpu *vcpu); |
| 228 | void (*inject_pending_vectors)(struct kvm_vcpu *vcpu, |
| 229 | struct kvm_run *run); |
| 230 | |
| 231 | int (*set_tss_addr)(struct kvm *kvm, unsigned int addr); |
| 232 | }; |
| 233 | |
Zhang Xiantao | 97896d0 | 2007-11-14 20:09:30 +0800 | [diff] [blame] | 234 | extern struct kvm_x86_ops *kvm_x86_ops; |
| 235 | |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 236 | int kvm_mmu_module_init(void); |
| 237 | void kvm_mmu_module_exit(void); |
| 238 | |
| 239 | void kvm_mmu_destroy(struct kvm_vcpu *vcpu); |
| 240 | int kvm_mmu_create(struct kvm_vcpu *vcpu); |
| 241 | int kvm_mmu_setup(struct kvm_vcpu *vcpu); |
| 242 | void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte); |
| 243 | |
| 244 | int kvm_mmu_reset_context(struct kvm_vcpu *vcpu); |
| 245 | void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot); |
| 246 | void kvm_mmu_zap_all(struct kvm *kvm); |
Zhang Xiantao | 3ad82a7 | 2007-11-20 13:11:38 +0800 | [diff] [blame] | 247 | unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm); |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 248 | void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages); |
| 249 | |
| 250 | enum emulation_result { |
| 251 | EMULATE_DONE, /* no further processing */ |
| 252 | EMULATE_DO_MMIO, /* kvm_run filled with mmio request */ |
| 253 | EMULATE_FAIL, /* can't emulate this instruction */ |
| 254 | }; |
| 255 | |
| 256 | int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run, |
| 257 | unsigned long cr2, u16 error_code, int no_decode); |
| 258 | void kvm_report_emulation_failure(struct kvm_vcpu *cvpu, const char *context); |
| 259 | void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address); |
| 260 | void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address); |
| 261 | void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw, |
| 262 | unsigned long *rflags); |
| 263 | |
| 264 | unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr); |
| 265 | void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value, |
| 266 | unsigned long *rflags); |
| 267 | int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *data); |
| 268 | int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data); |
| 269 | |
| 270 | struct x86_emulate_ctxt; |
| 271 | |
| 272 | int kvm_emulate_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in, |
| 273 | int size, unsigned port); |
| 274 | int kvm_emulate_pio_string(struct kvm_vcpu *vcpu, struct kvm_run *run, int in, |
| 275 | int size, unsigned long count, int down, |
| 276 | gva_t address, int rep, unsigned port); |
| 277 | void kvm_emulate_cpuid(struct kvm_vcpu *vcpu); |
| 278 | int kvm_emulate_halt(struct kvm_vcpu *vcpu); |
| 279 | int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address); |
| 280 | int emulate_clts(struct kvm_vcpu *vcpu); |
| 281 | int emulator_get_dr(struct x86_emulate_ctxt *ctxt, int dr, |
| 282 | unsigned long *dest); |
| 283 | int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr, |
| 284 | unsigned long value); |
| 285 | |
| 286 | void set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 287 | void set_cr3(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 288 | void set_cr4(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 289 | void set_cr8(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 290 | unsigned long get_cr8(struct kvm_vcpu *vcpu); |
| 291 | void lmsw(struct kvm_vcpu *vcpu, unsigned long msw); |
| 292 | void kvm_get_cs_db_l_bits(struct kvm_vcpu *vcpu, int *db, int *l); |
| 293 | |
| 294 | int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata); |
| 295 | int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data); |
| 296 | |
| 297 | void fx_init(struct kvm_vcpu *vcpu); |
| 298 | |
| 299 | int emulator_read_std(unsigned long addr, |
| 300 | void *val, |
| 301 | unsigned int bytes, |
| 302 | struct kvm_vcpu *vcpu); |
| 303 | int emulator_write_emulated(unsigned long addr, |
| 304 | const void *val, |
| 305 | unsigned int bytes, |
| 306 | struct kvm_vcpu *vcpu); |
| 307 | |
| 308 | unsigned long segment_base(u16 selector); |
| 309 | |
Avi Kivity | d835dfe | 2007-11-21 02:57:59 +0200 | [diff] [blame] | 310 | void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu); |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 311 | void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa, |
| 312 | const u8 *new, int bytes); |
| 313 | int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva); |
| 314 | void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu); |
| 315 | int kvm_mmu_load(struct kvm_vcpu *vcpu); |
| 316 | void kvm_mmu_unload(struct kvm_vcpu *vcpu); |
| 317 | |
| 318 | int kvm_emulate_hypercall(struct kvm_vcpu *vcpu); |
| 319 | |
| 320 | int kvm_fix_hypercall(struct kvm_vcpu *vcpu); |
| 321 | |
Avi Kivity | 3067714 | 2007-10-28 18:48:59 +0200 | [diff] [blame] | 322 | int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t gva, u32 error_code); |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 323 | |
| 324 | static inline void kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu) |
| 325 | { |
| 326 | if (unlikely(vcpu->kvm->n_free_mmu_pages < KVM_MIN_FREE_MMU_PAGES)) |
| 327 | __kvm_mmu_free_some_pages(vcpu); |
| 328 | } |
| 329 | |
| 330 | static inline int kvm_mmu_reload(struct kvm_vcpu *vcpu) |
| 331 | { |
| 332 | if (likely(vcpu->mmu.root_hpa != INVALID_PAGE)) |
| 333 | return 0; |
| 334 | |
| 335 | return kvm_mmu_load(vcpu); |
| 336 | } |
| 337 | |
| 338 | static inline int is_long_mode(struct kvm_vcpu *vcpu) |
| 339 | { |
| 340 | #ifdef CONFIG_X86_64 |
| 341 | return vcpu->shadow_efer & EFER_LME; |
| 342 | #else |
| 343 | return 0; |
| 344 | #endif |
| 345 | } |
| 346 | |
| 347 | static inline int is_pae(struct kvm_vcpu *vcpu) |
| 348 | { |
| 349 | return vcpu->cr4 & X86_CR4_PAE; |
| 350 | } |
| 351 | |
| 352 | static inline int is_pse(struct kvm_vcpu *vcpu) |
| 353 | { |
| 354 | return vcpu->cr4 & X86_CR4_PSE; |
| 355 | } |
| 356 | |
| 357 | static inline int is_paging(struct kvm_vcpu *vcpu) |
| 358 | { |
| 359 | return vcpu->cr0 & X86_CR0_PG; |
| 360 | } |
| 361 | |
Carsten Otte | a03490e | 2007-10-29 16:09:35 +0100 | [diff] [blame] | 362 | int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3); |
Carsten Otte | de7d789 | 2007-10-30 18:44:25 +0100 | [diff] [blame] | 363 | int complete_pio(struct kvm_vcpu *vcpu); |
Zhang Xiantao | ec6d273 | 2007-11-19 15:08:31 +0800 | [diff] [blame] | 364 | |
| 365 | static inline struct kvm_mmu_page *page_header(hpa_t shadow_page) |
| 366 | { |
| 367 | struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT); |
| 368 | |
| 369 | return (struct kvm_mmu_page *)page_private(page); |
| 370 | } |
| 371 | |
| 372 | static inline u16 read_fs(void) |
| 373 | { |
| 374 | u16 seg; |
| 375 | asm("mov %%fs, %0" : "=g"(seg)); |
| 376 | return seg; |
| 377 | } |
| 378 | |
| 379 | static inline u16 read_gs(void) |
| 380 | { |
| 381 | u16 seg; |
| 382 | asm("mov %%gs, %0" : "=g"(seg)); |
| 383 | return seg; |
| 384 | } |
| 385 | |
| 386 | static inline u16 read_ldt(void) |
| 387 | { |
| 388 | u16 ldt; |
| 389 | asm("sldt %0" : "=g"(ldt)); |
| 390 | return ldt; |
| 391 | } |
| 392 | |
| 393 | static inline void load_fs(u16 sel) |
| 394 | { |
| 395 | asm("mov %0, %%fs" : : "rm"(sel)); |
| 396 | } |
| 397 | |
| 398 | static inline void load_gs(u16 sel) |
| 399 | { |
| 400 | asm("mov %0, %%gs" : : "rm"(sel)); |
| 401 | } |
| 402 | |
| 403 | #ifndef load_ldt |
| 404 | static inline void load_ldt(u16 sel) |
| 405 | { |
| 406 | asm("lldt %0" : : "rm"(sel)); |
| 407 | } |
| 408 | #endif |
| 409 | |
| 410 | static inline void get_idt(struct descriptor_table *table) |
| 411 | { |
| 412 | asm("sidt %0" : "=m"(*table)); |
| 413 | } |
| 414 | |
| 415 | static inline void get_gdt(struct descriptor_table *table) |
| 416 | { |
| 417 | asm("sgdt %0" : "=m"(*table)); |
| 418 | } |
| 419 | |
| 420 | static inline unsigned long read_tr_base(void) |
| 421 | { |
| 422 | u16 tr; |
| 423 | asm("str %0" : "=g"(tr)); |
| 424 | return segment_base(tr); |
| 425 | } |
| 426 | |
| 427 | #ifdef CONFIG_X86_64 |
| 428 | static inline unsigned long read_msr(unsigned long msr) |
| 429 | { |
| 430 | u64 value; |
| 431 | |
| 432 | rdmsrl(msr, value); |
| 433 | return value; |
| 434 | } |
| 435 | #endif |
| 436 | |
| 437 | static inline void fx_save(struct i387_fxsave_struct *image) |
| 438 | { |
| 439 | asm("fxsave (%0)":: "r" (image)); |
| 440 | } |
| 441 | |
| 442 | static inline void fx_restore(struct i387_fxsave_struct *image) |
| 443 | { |
| 444 | asm("fxrstor (%0)":: "r" (image)); |
| 445 | } |
| 446 | |
| 447 | static inline void fpu_init(void) |
| 448 | { |
| 449 | asm("finit"); |
| 450 | } |
| 451 | |
| 452 | static inline u32 get_rdx_init_val(void) |
| 453 | { |
| 454 | return 0x600; /* P6 family */ |
| 455 | } |
| 456 | |
| 457 | #define ASM_VMX_VMCLEAR_RAX ".byte 0x66, 0x0f, 0xc7, 0x30" |
| 458 | #define ASM_VMX_VMLAUNCH ".byte 0x0f, 0x01, 0xc2" |
| 459 | #define ASM_VMX_VMRESUME ".byte 0x0f, 0x01, 0xc3" |
| 460 | #define ASM_VMX_VMPTRLD_RAX ".byte 0x0f, 0xc7, 0x30" |
| 461 | #define ASM_VMX_VMREAD_RDX_RAX ".byte 0x0f, 0x78, 0xd0" |
| 462 | #define ASM_VMX_VMWRITE_RAX_RDX ".byte 0x0f, 0x79, 0xd0" |
| 463 | #define ASM_VMX_VMWRITE_RSP_RDX ".byte 0x0f, 0x79, 0xd4" |
| 464 | #define ASM_VMX_VMXOFF ".byte 0x0f, 0x01, 0xc4" |
| 465 | #define ASM_VMX_VMXON_RAX ".byte 0xf3, 0x0f, 0xc7, 0x30" |
| 466 | |
| 467 | #define MSR_IA32_TIME_STAMP_COUNTER 0x010 |
| 468 | |
| 469 | #define TSS_IOPB_BASE_OFFSET 0x66 |
| 470 | #define TSS_BASE_SIZE 0x68 |
| 471 | #define TSS_IOPB_SIZE (65536 / 8) |
| 472 | #define TSS_REDIRECTION_SIZE (256 / 8) |
| 473 | #define RMODE_TSS_SIZE (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1) |
Carsten Otte | 043405e | 2007-10-10 17:16:19 +0200 | [diff] [blame] | 474 | #endif |