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 | |
Avi Kivity | 298101d | 2007-11-25 13:41:11 +0200 | [diff] [blame] | 142 | struct kvm_queued_exception { |
| 143 | bool pending; |
| 144 | bool has_error_code; |
| 145 | u8 nr; |
| 146 | u32 error_code; |
| 147 | } exception; |
| 148 | |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 149 | struct { |
| 150 | int active; |
| 151 | u8 save_iopl; |
| 152 | struct kvm_save_segment { |
| 153 | u16 selector; |
| 154 | unsigned long base; |
| 155 | u32 limit; |
| 156 | u32 ar; |
| 157 | } tr, es, ds, fs, gs; |
| 158 | } rmode; |
| 159 | int halt_request; /* real mode on Intel only */ |
| 160 | |
| 161 | int cpuid_nent; |
Dan Kenigsberg | 0771671 | 2007-11-21 17:10:04 +0200 | [diff] [blame] | 162 | struct kvm_cpuid_entry2 cpuid_entries[KVM_MAX_CPUID_ENTRIES]; |
Zhang Xiantao | 34c16ee | 2007-10-20 15:34:38 +0800 | [diff] [blame] | 163 | |
| 164 | /* emulate context */ |
| 165 | |
| 166 | struct x86_emulate_ctxt emulate_ctxt; |
| 167 | }; |
| 168 | |
Hollis Blanchard | e01a1b5 | 2007-12-03 15:30:25 -0600 | [diff] [blame] | 169 | struct descriptor_table { |
| 170 | u16 limit; |
| 171 | unsigned long base; |
| 172 | } __attribute__((packed)); |
| 173 | |
Zhang Xiantao | ea4a5ff | 2007-11-19 14:40:47 +0800 | [diff] [blame] | 174 | struct kvm_x86_ops { |
| 175 | int (*cpu_has_kvm_support)(void); /* __init */ |
| 176 | int (*disabled_by_bios)(void); /* __init */ |
| 177 | void (*hardware_enable)(void *dummy); /* __init */ |
| 178 | void (*hardware_disable)(void *dummy); |
| 179 | void (*check_processor_compatibility)(void *rtn); |
| 180 | int (*hardware_setup)(void); /* __init */ |
| 181 | void (*hardware_unsetup)(void); /* __exit */ |
| 182 | |
| 183 | /* Create, but do not attach this VCPU */ |
| 184 | struct kvm_vcpu *(*vcpu_create)(struct kvm *kvm, unsigned id); |
| 185 | void (*vcpu_free)(struct kvm_vcpu *vcpu); |
| 186 | int (*vcpu_reset)(struct kvm_vcpu *vcpu); |
| 187 | |
| 188 | void (*prepare_guest_switch)(struct kvm_vcpu *vcpu); |
| 189 | void (*vcpu_load)(struct kvm_vcpu *vcpu, int cpu); |
| 190 | void (*vcpu_put)(struct kvm_vcpu *vcpu); |
| 191 | void (*vcpu_decache)(struct kvm_vcpu *vcpu); |
| 192 | |
| 193 | int (*set_guest_debug)(struct kvm_vcpu *vcpu, |
| 194 | struct kvm_debug_guest *dbg); |
| 195 | void (*guest_debug_pre)(struct kvm_vcpu *vcpu); |
| 196 | int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata); |
| 197 | int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data); |
| 198 | u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg); |
| 199 | void (*get_segment)(struct kvm_vcpu *vcpu, |
| 200 | struct kvm_segment *var, int seg); |
| 201 | void (*set_segment)(struct kvm_vcpu *vcpu, |
| 202 | struct kvm_segment *var, int seg); |
| 203 | void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l); |
| 204 | void (*decache_cr4_guest_bits)(struct kvm_vcpu *vcpu); |
| 205 | void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 206 | void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3); |
| 207 | void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4); |
| 208 | void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer); |
| 209 | void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 210 | void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 211 | void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 212 | void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt); |
| 213 | unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr); |
| 214 | void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value, |
| 215 | int *exception); |
| 216 | void (*cache_regs)(struct kvm_vcpu *vcpu); |
| 217 | void (*decache_regs)(struct kvm_vcpu *vcpu); |
| 218 | unsigned long (*get_rflags)(struct kvm_vcpu *vcpu); |
| 219 | void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags); |
| 220 | |
| 221 | void (*tlb_flush)(struct kvm_vcpu *vcpu); |
Zhang Xiantao | ea4a5ff | 2007-11-19 14:40:47 +0800 | [diff] [blame] | 222 | |
Zhang Xiantao | ea4a5ff | 2007-11-19 14:40:47 +0800 | [diff] [blame] | 223 | void (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run); |
| 224 | int (*handle_exit)(struct kvm_run *run, struct kvm_vcpu *vcpu); |
| 225 | void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu); |
| 226 | void (*patch_hypercall)(struct kvm_vcpu *vcpu, |
| 227 | unsigned char *hypercall_addr); |
| 228 | int (*get_irq)(struct kvm_vcpu *vcpu); |
| 229 | void (*set_irq)(struct kvm_vcpu *vcpu, int vec); |
Avi Kivity | 298101d | 2007-11-25 13:41:11 +0200 | [diff] [blame] | 230 | void (*queue_exception)(struct kvm_vcpu *vcpu, unsigned nr, |
| 231 | bool has_error_code, u32 error_code); |
| 232 | bool (*exception_injected)(struct kvm_vcpu *vcpu); |
Zhang Xiantao | ea4a5ff | 2007-11-19 14:40:47 +0800 | [diff] [blame] | 233 | void (*inject_pending_irq)(struct kvm_vcpu *vcpu); |
| 234 | void (*inject_pending_vectors)(struct kvm_vcpu *vcpu, |
| 235 | struct kvm_run *run); |
| 236 | |
| 237 | int (*set_tss_addr)(struct kvm *kvm, unsigned int addr); |
| 238 | }; |
| 239 | |
Zhang Xiantao | 97896d0 | 2007-11-14 20:09:30 +0800 | [diff] [blame] | 240 | extern struct kvm_x86_ops *kvm_x86_ops; |
| 241 | |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 242 | int kvm_mmu_module_init(void); |
| 243 | void kvm_mmu_module_exit(void); |
| 244 | |
| 245 | void kvm_mmu_destroy(struct kvm_vcpu *vcpu); |
| 246 | int kvm_mmu_create(struct kvm_vcpu *vcpu); |
| 247 | int kvm_mmu_setup(struct kvm_vcpu *vcpu); |
| 248 | void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte); |
| 249 | |
| 250 | int kvm_mmu_reset_context(struct kvm_vcpu *vcpu); |
| 251 | void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot); |
| 252 | void kvm_mmu_zap_all(struct kvm *kvm); |
Zhang Xiantao | 3ad82a7 | 2007-11-20 13:11:38 +0800 | [diff] [blame] | 253 | unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm); |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 254 | void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages); |
| 255 | |
| 256 | enum emulation_result { |
| 257 | EMULATE_DONE, /* no further processing */ |
| 258 | EMULATE_DO_MMIO, /* kvm_run filled with mmio request */ |
| 259 | EMULATE_FAIL, /* can't emulate this instruction */ |
| 260 | }; |
| 261 | |
| 262 | int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run, |
| 263 | unsigned long cr2, u16 error_code, int no_decode); |
| 264 | void kvm_report_emulation_failure(struct kvm_vcpu *cvpu, const char *context); |
| 265 | void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address); |
| 266 | void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address); |
| 267 | void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw, |
| 268 | unsigned long *rflags); |
| 269 | |
| 270 | unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr); |
| 271 | void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value, |
| 272 | unsigned long *rflags); |
| 273 | int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *data); |
| 274 | int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data); |
| 275 | |
| 276 | struct x86_emulate_ctxt; |
| 277 | |
| 278 | int kvm_emulate_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in, |
| 279 | int size, unsigned port); |
| 280 | int kvm_emulate_pio_string(struct kvm_vcpu *vcpu, struct kvm_run *run, int in, |
| 281 | int size, unsigned long count, int down, |
| 282 | gva_t address, int rep, unsigned port); |
| 283 | void kvm_emulate_cpuid(struct kvm_vcpu *vcpu); |
| 284 | int kvm_emulate_halt(struct kvm_vcpu *vcpu); |
| 285 | int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address); |
| 286 | int emulate_clts(struct kvm_vcpu *vcpu); |
| 287 | int emulator_get_dr(struct x86_emulate_ctxt *ctxt, int dr, |
| 288 | unsigned long *dest); |
| 289 | int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr, |
| 290 | unsigned long value); |
| 291 | |
| 292 | void set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 293 | void set_cr3(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 294 | void set_cr4(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 295 | void set_cr8(struct kvm_vcpu *vcpu, unsigned long cr0); |
| 296 | unsigned long get_cr8(struct kvm_vcpu *vcpu); |
| 297 | void lmsw(struct kvm_vcpu *vcpu, unsigned long msw); |
| 298 | void kvm_get_cs_db_l_bits(struct kvm_vcpu *vcpu, int *db, int *l); |
| 299 | |
| 300 | int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata); |
| 301 | int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data); |
| 302 | |
Avi Kivity | 298101d | 2007-11-25 13:41:11 +0200 | [diff] [blame] | 303 | void kvm_queue_exception(struct kvm_vcpu *vcpu, unsigned nr); |
| 304 | void kvm_queue_exception_e(struct kvm_vcpu *vcpu, unsigned nr, u32 error_code); |
Avi Kivity | c3c91fe | 2007-11-25 14:04:58 +0200 | [diff] [blame] | 305 | void kvm_inject_page_fault(struct kvm_vcpu *vcpu, unsigned long cr2, |
| 306 | u32 error_code); |
Avi Kivity | 298101d | 2007-11-25 13:41:11 +0200 | [diff] [blame] | 307 | |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 308 | void fx_init(struct kvm_vcpu *vcpu); |
| 309 | |
| 310 | int emulator_read_std(unsigned long addr, |
| 311 | void *val, |
| 312 | unsigned int bytes, |
| 313 | struct kvm_vcpu *vcpu); |
| 314 | int emulator_write_emulated(unsigned long addr, |
| 315 | const void *val, |
| 316 | unsigned int bytes, |
| 317 | struct kvm_vcpu *vcpu); |
| 318 | |
| 319 | unsigned long segment_base(u16 selector); |
| 320 | |
Avi Kivity | d835dfe | 2007-11-21 02:57:59 +0200 | [diff] [blame] | 321 | void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu); |
Zhang Xiantao | 54f1585 | 2007-11-19 15:24:28 +0800 | [diff] [blame] | 322 | void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa, |
| 323 | const u8 *new, int bytes); |
| 324 | int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva); |
| 325 | void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu); |
| 326 | int kvm_mmu_load(struct kvm_vcpu *vcpu); |
| 327 | void kvm_mmu_unload(struct kvm_vcpu *vcpu); |
| 328 | |
| 329 | int kvm_emulate_hypercall(struct kvm_vcpu *vcpu); |
| 330 | |
| 331 | int kvm_fix_hypercall(struct kvm_vcpu *vcpu); |
| 332 | |
Avi Kivity | 3067714 | 2007-10-28 18:48:59 +0200 | [diff] [blame] | 333 | 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] | 334 | |
| 335 | static inline void kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu) |
| 336 | { |
| 337 | if (unlikely(vcpu->kvm->n_free_mmu_pages < KVM_MIN_FREE_MMU_PAGES)) |
| 338 | __kvm_mmu_free_some_pages(vcpu); |
| 339 | } |
| 340 | |
| 341 | static inline int kvm_mmu_reload(struct kvm_vcpu *vcpu) |
| 342 | { |
| 343 | if (likely(vcpu->mmu.root_hpa != INVALID_PAGE)) |
| 344 | return 0; |
| 345 | |
| 346 | return kvm_mmu_load(vcpu); |
| 347 | } |
| 348 | |
| 349 | static inline int is_long_mode(struct kvm_vcpu *vcpu) |
| 350 | { |
| 351 | #ifdef CONFIG_X86_64 |
| 352 | return vcpu->shadow_efer & EFER_LME; |
| 353 | #else |
| 354 | return 0; |
| 355 | #endif |
| 356 | } |
| 357 | |
| 358 | static inline int is_pae(struct kvm_vcpu *vcpu) |
| 359 | { |
| 360 | return vcpu->cr4 & X86_CR4_PAE; |
| 361 | } |
| 362 | |
| 363 | static inline int is_pse(struct kvm_vcpu *vcpu) |
| 364 | { |
| 365 | return vcpu->cr4 & X86_CR4_PSE; |
| 366 | } |
| 367 | |
| 368 | static inline int is_paging(struct kvm_vcpu *vcpu) |
| 369 | { |
| 370 | return vcpu->cr0 & X86_CR0_PG; |
| 371 | } |
| 372 | |
Carsten Otte | a03490e | 2007-10-29 16:09:35 +0100 | [diff] [blame] | 373 | int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3); |
Carsten Otte | de7d789 | 2007-10-30 18:44:25 +0100 | [diff] [blame] | 374 | int complete_pio(struct kvm_vcpu *vcpu); |
Zhang Xiantao | ec6d273 | 2007-11-19 15:08:31 +0800 | [diff] [blame] | 375 | |
| 376 | static inline struct kvm_mmu_page *page_header(hpa_t shadow_page) |
| 377 | { |
| 378 | struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT); |
| 379 | |
| 380 | return (struct kvm_mmu_page *)page_private(page); |
| 381 | } |
| 382 | |
| 383 | static inline u16 read_fs(void) |
| 384 | { |
| 385 | u16 seg; |
| 386 | asm("mov %%fs, %0" : "=g"(seg)); |
| 387 | return seg; |
| 388 | } |
| 389 | |
| 390 | static inline u16 read_gs(void) |
| 391 | { |
| 392 | u16 seg; |
| 393 | asm("mov %%gs, %0" : "=g"(seg)); |
| 394 | return seg; |
| 395 | } |
| 396 | |
| 397 | static inline u16 read_ldt(void) |
| 398 | { |
| 399 | u16 ldt; |
| 400 | asm("sldt %0" : "=g"(ldt)); |
| 401 | return ldt; |
| 402 | } |
| 403 | |
| 404 | static inline void load_fs(u16 sel) |
| 405 | { |
| 406 | asm("mov %0, %%fs" : : "rm"(sel)); |
| 407 | } |
| 408 | |
| 409 | static inline void load_gs(u16 sel) |
| 410 | { |
| 411 | asm("mov %0, %%gs" : : "rm"(sel)); |
| 412 | } |
| 413 | |
| 414 | #ifndef load_ldt |
| 415 | static inline void load_ldt(u16 sel) |
| 416 | { |
| 417 | asm("lldt %0" : : "rm"(sel)); |
| 418 | } |
| 419 | #endif |
| 420 | |
| 421 | static inline void get_idt(struct descriptor_table *table) |
| 422 | { |
| 423 | asm("sidt %0" : "=m"(*table)); |
| 424 | } |
| 425 | |
| 426 | static inline void get_gdt(struct descriptor_table *table) |
| 427 | { |
| 428 | asm("sgdt %0" : "=m"(*table)); |
| 429 | } |
| 430 | |
| 431 | static inline unsigned long read_tr_base(void) |
| 432 | { |
| 433 | u16 tr; |
| 434 | asm("str %0" : "=g"(tr)); |
| 435 | return segment_base(tr); |
| 436 | } |
| 437 | |
| 438 | #ifdef CONFIG_X86_64 |
| 439 | static inline unsigned long read_msr(unsigned long msr) |
| 440 | { |
| 441 | u64 value; |
| 442 | |
| 443 | rdmsrl(msr, value); |
| 444 | return value; |
| 445 | } |
| 446 | #endif |
| 447 | |
| 448 | static inline void fx_save(struct i387_fxsave_struct *image) |
| 449 | { |
| 450 | asm("fxsave (%0)":: "r" (image)); |
| 451 | } |
| 452 | |
| 453 | static inline void fx_restore(struct i387_fxsave_struct *image) |
| 454 | { |
| 455 | asm("fxrstor (%0)":: "r" (image)); |
| 456 | } |
| 457 | |
| 458 | static inline void fpu_init(void) |
| 459 | { |
| 460 | asm("finit"); |
| 461 | } |
| 462 | |
| 463 | static inline u32 get_rdx_init_val(void) |
| 464 | { |
| 465 | return 0x600; /* P6 family */ |
| 466 | } |
| 467 | |
Avi Kivity | c1a5d4f | 2007-11-25 14:12:03 +0200 | [diff] [blame^] | 468 | static inline void kvm_inject_gp(struct kvm_vcpu *vcpu, u32 error_code) |
| 469 | { |
| 470 | kvm_queue_exception_e(vcpu, GP_VECTOR, error_code); |
| 471 | } |
| 472 | |
Zhang Xiantao | ec6d273 | 2007-11-19 15:08:31 +0800 | [diff] [blame] | 473 | #define ASM_VMX_VMCLEAR_RAX ".byte 0x66, 0x0f, 0xc7, 0x30" |
| 474 | #define ASM_VMX_VMLAUNCH ".byte 0x0f, 0x01, 0xc2" |
| 475 | #define ASM_VMX_VMRESUME ".byte 0x0f, 0x01, 0xc3" |
| 476 | #define ASM_VMX_VMPTRLD_RAX ".byte 0x0f, 0xc7, 0x30" |
| 477 | #define ASM_VMX_VMREAD_RDX_RAX ".byte 0x0f, 0x78, 0xd0" |
| 478 | #define ASM_VMX_VMWRITE_RAX_RDX ".byte 0x0f, 0x79, 0xd0" |
| 479 | #define ASM_VMX_VMWRITE_RSP_RDX ".byte 0x0f, 0x79, 0xd4" |
| 480 | #define ASM_VMX_VMXOFF ".byte 0x0f, 0x01, 0xc4" |
| 481 | #define ASM_VMX_VMXON_RAX ".byte 0xf3, 0x0f, 0xc7, 0x30" |
| 482 | |
| 483 | #define MSR_IA32_TIME_STAMP_COUNTER 0x010 |
| 484 | |
| 485 | #define TSS_IOPB_BASE_OFFSET 0x66 |
| 486 | #define TSS_BASE_SIZE 0x68 |
| 487 | #define TSS_IOPB_SIZE (65536 / 8) |
| 488 | #define TSS_REDIRECTION_SIZE (256 / 8) |
| 489 | #define RMODE_TSS_SIZE (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1) |
Hollis Blanchard | 53e0aa7 | 2007-12-03 16:15:26 -0600 | [diff] [blame] | 490 | |
| 491 | static inline int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu) |
| 492 | { |
| 493 | return vcpu->mp_state == VCPU_MP_STATE_RUNNABLE |
| 494 | || vcpu->mp_state == VCPU_MP_STATE_SIPI_RECEIVED; |
| 495 | } |
| 496 | |
Carsten Otte | 043405e | 2007-10-10 17:16:19 +0200 | [diff] [blame] | 497 | #endif |