blob: c2a01d0513f530ccb248a0063fcb2bb3dfa5d4a5 [file] [log] [blame]
Vegard Nossuma656c8e2008-07-22 21:27:11 +02001/*
Carsten Otte043405e2007-10-10 17:16:19 +02002 * 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
H. Peter Anvin1965aae2008-10-22 22:26:29 -070011#ifndef _ASM_X86_KVM_HOST_H
12#define _ASM_X86_KVM_HOST_H
Carsten Otte043405e2007-10-10 17:16:19 +020013
Zhang Xiantao34c16ee2007-10-20 15:34:38 +080014#include <linux/types.h>
15#include <linux/mm.h>
Andrea Arcangelie930bff2008-07-25 16:24:52 +020016#include <linux/mmu_notifier.h>
Zhang Xiantao34c16ee2007-10-20 15:34:38 +080017
18#include <linux/kvm.h>
19#include <linux/kvm_para.h>
Avi Kivityedf88412007-12-16 11:02:48 +020020#include <linux/kvm_types.h>
Zhang Xiantao34c16ee2007-10-20 15:34:38 +080021
Gerd Hoffmann50d0a0f2008-06-03 16:17:31 +020022#include <asm/pvclock-abi.h>
Hollis Blancharde01a1b52007-12-03 15:30:25 -060023#include <asm/desc.h>
Sheng Yang0bed3b52008-10-09 16:01:54 +080024#include <asm/mtrr.h>
Alexander Graf9962d032008-11-25 20:17:02 +010025#include <asm/msr-index.h>
Hollis Blancharde01a1b52007-12-03 15:30:25 -060026
Avi Kivity69a9f692008-03-21 12:38:23 +020027#define KVM_MAX_VCPUS 16
28#define KVM_MEMORY_SLOTS 32
29/* memory slots that does not exposed to userspace */
30#define KVM_PRIVATE_MEM_SLOTS 4
31
32#define KVM_PIO_PAGE_OFFSET 1
Laurent Vivier542472b2008-05-30 16:05:55 +020033#define KVM_COALESCED_MMIO_PAGE_OFFSET 2
Avi Kivity69a9f692008-03-21 12:38:23 +020034
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080035#define CR3_PAE_RESERVED_BITS ((X86_CR3_PWT | X86_CR3_PCD) - 1)
36#define CR3_NONPAE_RESERVED_BITS ((PAGE_SIZE-1) & ~(X86_CR3_PWT | X86_CR3_PCD))
Joe Perches7d76b4d2008-03-23 01:02:34 -070037#define CR3_L_MODE_RESERVED_BITS (CR3_NONPAE_RESERVED_BITS | \
38 0xFFFFFF0000000000ULL)
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080039
Joe Perches7d76b4d2008-03-23 01:02:34 -070040#define KVM_GUEST_CR0_MASK \
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080041 (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE \
42 | X86_CR0_NW | X86_CR0_CD)
Joe Perches7d76b4d2008-03-23 01:02:34 -070043#define KVM_VM_CR0_ALWAYS_ON \
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080044 (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE | X86_CR0_TS \
45 | X86_CR0_MP)
Joe Perches7d76b4d2008-03-23 01:02:34 -070046#define KVM_GUEST_CR4_MASK \
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080047 (X86_CR4_VME | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_PGE | X86_CR4_VMXE)
48#define KVM_PMODE_VM_CR4_ALWAYS_ON (X86_CR4_PAE | X86_CR4_VMXE)
49#define KVM_RMODE_VM_CR4_ALWAYS_ON (X86_CR4_VME | X86_CR4_PAE | X86_CR4_VMXE)
50
51#define INVALID_PAGE (~(hpa_t)0)
52#define UNMAPPED_GVA (~(gpa_t)0)
53
Marcelo Tosatti05da4552008-02-23 11:44:30 -030054/* shadow tables are PAE even on non-PAE hosts */
55#define KVM_HPAGE_SHIFT 21
56#define KVM_HPAGE_SIZE (1UL << KVM_HPAGE_SHIFT)
57#define KVM_HPAGE_MASK (~(KVM_HPAGE_SIZE - 1))
58
59#define KVM_PAGES_PER_HPAGE (KVM_HPAGE_SIZE / PAGE_SIZE)
60
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080061#define DE_VECTOR 0
Jan Kiszka19bd8af2008-07-13 13:40:55 +020062#define DB_VECTOR 1
Jan Kiszka77ab6db2008-07-14 12:28:51 +020063#define BP_VECTOR 3
64#define OF_VECTOR 4
65#define BR_VECTOR 5
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080066#define UD_VECTOR 6
67#define NM_VECTOR 7
68#define DF_VECTOR 8
69#define TS_VECTOR 10
70#define NP_VECTOR 11
71#define SS_VECTOR 12
72#define GP_VECTOR 13
73#define PF_VECTOR 14
Jan Kiszka77ab6db2008-07-14 12:28:51 +020074#define MF_VECTOR 16
Joerg Roedel53371b52008-04-09 14:15:30 +020075#define MC_VECTOR 18
Zhang Xiantaocd6e8f82007-11-19 14:33:37 +080076
77#define SELECTOR_TI_MASK (1 << 2)
78#define SELECTOR_RPL_MASK 0x03
79
80#define IOPL_SHIFT 12
81
Zhang Xiantaod69fb812007-12-14 09:54:20 +080082#define KVM_ALIAS_SLOTS 4
83
Zhang Xiantaod657a982007-12-14 09:41:22 +080084#define KVM_PERMILLE_MMU_PAGES 20
85#define KVM_MIN_ALLOC_MMU_PAGES 64
Dong, Eddie1ae0a132008-01-07 13:20:25 +020086#define KVM_MMU_HASH_SHIFT 10
87#define KVM_NUM_MMU_PAGES (1 << KVM_MMU_HASH_SHIFT)
Zhang Xiantaod657a982007-12-14 09:41:22 +080088#define KVM_MIN_FREE_MMU_PAGES 5
89#define KVM_REFILL_PAGES 25
90#define KVM_MAX_CPUID_ENTRIES 40
Sheng Yang0bed3b52008-10-09 16:01:54 +080091#define KVM_NR_FIXED_MTRR_REGION 88
Avi Kivity9ba075a2008-05-26 20:06:35 +030092#define KVM_NR_VAR_MTRR 8
Zhang Xiantaod657a982007-12-14 09:41:22 +080093
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +080094extern spinlock_t kvm_lock;
95extern struct list_head vm_list;
96
Zhang Xiantaod657a982007-12-14 09:41:22 +080097struct kvm_vcpu;
98struct kvm;
99
Marcelo Tosatti5fdbf972008-06-27 14:58:02 -0300100enum kvm_reg {
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800101 VCPU_REGS_RAX = 0,
102 VCPU_REGS_RCX = 1,
103 VCPU_REGS_RDX = 2,
104 VCPU_REGS_RBX = 3,
105 VCPU_REGS_RSP = 4,
106 VCPU_REGS_RBP = 5,
107 VCPU_REGS_RSI = 6,
108 VCPU_REGS_RDI = 7,
109#ifdef CONFIG_X86_64
110 VCPU_REGS_R8 = 8,
111 VCPU_REGS_R9 = 9,
112 VCPU_REGS_R10 = 10,
113 VCPU_REGS_R11 = 11,
114 VCPU_REGS_R12 = 12,
115 VCPU_REGS_R13 = 13,
116 VCPU_REGS_R14 = 14,
117 VCPU_REGS_R15 = 15,
118#endif
Marcelo Tosatti5fdbf972008-06-27 14:58:02 -0300119 VCPU_REGS_RIP,
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800120 NR_VCPU_REGS
121};
122
123enum {
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800124 VCPU_SREG_ES,
Avi Kivity81609e32008-05-27 16:26:01 +0300125 VCPU_SREG_CS,
126 VCPU_SREG_SS,
127 VCPU_SREG_DS,
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800128 VCPU_SREG_FS,
129 VCPU_SREG_GS,
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800130 VCPU_SREG_TR,
131 VCPU_SREG_LDTR,
132};
133
Avi Kivityedf88412007-12-16 11:02:48 +0200134#include <asm/kvm_x86_emulate.h>
Zhang Xiantao2b3ccfa2007-11-19 14:56:05 +0800135
Zhang Xiantaod657a982007-12-14 09:41:22 +0800136#define KVM_NR_MEM_OBJS 40
137
Jan Kiszka42dbaa52008-12-15 13:52:10 +0100138#define KVM_NR_DB_REGS 4
139
140#define DR6_BD (1 << 13)
141#define DR6_BS (1 << 14)
142#define DR6_FIXED_1 0xffff0ff0
143#define DR6_VOLATILE 0x0000e00f
144
145#define DR7_BP_EN_MASK 0x000000ff
146#define DR7_GE (1 << 9)
147#define DR7_GD (1 << 13)
148#define DR7_FIXED_1 0x00000400
149#define DR7_VOLATILE 0xffff23ff
150
Zhang Xiantaod657a982007-12-14 09:41:22 +0800151/*
152 * We don't want allocation failures within the mmu code, so we preallocate
153 * enough memory for a single page fault in a cache.
154 */
155struct kvm_mmu_memory_cache {
156 int nobjs;
157 void *objects[KVM_NR_MEM_OBJS];
158};
159
160#define NR_PTE_CHAIN_ENTRIES 5
161
162struct kvm_pte_chain {
163 u64 *parent_ptes[NR_PTE_CHAIN_ENTRIES];
164 struct hlist_node link;
165};
166
167/*
168 * kvm_mmu_page_role, below, is defined as:
169 *
170 * bits 0:3 - total guest paging levels (2-4, or zero for real mode)
171 * bits 4:7 - page table level for this shadow (1-4)
172 * bits 8:9 - page table quadrant for 2-level guests
173 * bit 16 - "metaphysical" - gfn is not a real page (huge page/real mode)
174 * bits 17:19 - common access permissions for all ptes in this shadow page
175 */
176union kvm_mmu_page_role {
177 unsigned word;
178 struct {
Joe Perches7d76b4d2008-03-23 01:02:34 -0700179 unsigned glevels:4;
180 unsigned level:4;
181 unsigned quadrant:2;
182 unsigned pad_for_nice_hex_output:6;
183 unsigned metaphysical:1;
184 unsigned access:3;
Marcelo Tosatti2e53d632008-02-20 14:47:24 -0500185 unsigned invalid:1;
Avi Kivity2f0b3d62008-12-21 19:27:36 +0200186 unsigned cr4_pge:1;
Zhang Xiantaod657a982007-12-14 09:41:22 +0800187 };
188};
189
190struct kvm_mmu_page {
191 struct list_head link;
192 struct hlist_node hash_link;
193
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200194 struct list_head oos_link;
195
Zhang Xiantaod657a982007-12-14 09:41:22 +0800196 /*
197 * The following two entries are used to key the shadow page in the
198 * hash table.
199 */
200 gfn_t gfn;
201 union kvm_mmu_page_role role;
202
203 u64 *spt;
204 /* hold the gfn of each spte inside spt */
205 gfn_t *gfns;
Sheng Yang291f26b2008-10-16 17:30:57 +0800206 /*
207 * One bit set per slot which has memory
208 * in this shadow page.
209 */
210 DECLARE_BITMAP(slot_bitmap, KVM_MEMORY_SLOTS + KVM_PRIVATE_MEM_SLOTS);
Zhang Xiantaod657a982007-12-14 09:41:22 +0800211 int multimapped; /* More than one parent_pte? */
212 int root_count; /* Currently serving as active root */
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300213 bool unsync;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200214 bool global;
Marcelo Tosatti60c8aec2008-12-01 22:32:02 -0200215 unsigned int unsync_children;
Zhang Xiantaod657a982007-12-14 09:41:22 +0800216 union {
217 u64 *parent_pte; /* !multimapped */
218 struct hlist_head parent_ptes; /* multimapped, kvm_pte_chain */
219 };
Marcelo Tosatti0074ff62008-09-23 13:18:40 -0300220 DECLARE_BITMAP(unsync_child_bitmap, 512);
Zhang Xiantaod657a982007-12-14 09:41:22 +0800221};
222
Dave Hansen6ad18fb2008-08-11 10:01:49 -0700223struct kvm_pv_mmu_op_buffer {
224 void *ptr;
225 unsigned len;
226 unsigned processed;
227 char buf[512] __aligned(sizeof(long));
228};
229
Zhang Xiantaod657a982007-12-14 09:41:22 +0800230/*
231 * x86 supports 3 paging modes (4-level 64-bit, 3-level 64-bit, and 2-level
232 * 32-bit). The kvm_mmu structure abstracts the details of the current mmu
233 * mode.
234 */
235struct kvm_mmu {
236 void (*new_cr3)(struct kvm_vcpu *vcpu);
237 int (*page_fault)(struct kvm_vcpu *vcpu, gva_t gva, u32 err);
238 void (*free)(struct kvm_vcpu *vcpu);
239 gpa_t (*gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t gva);
240 void (*prefetch_page)(struct kvm_vcpu *vcpu,
241 struct kvm_mmu_page *page);
Marcelo Tosattie8bc2172008-09-23 13:18:33 -0300242 int (*sync_page)(struct kvm_vcpu *vcpu,
243 struct kvm_mmu_page *sp);
Marcelo Tosattia7052892008-09-23 13:18:35 -0300244 void (*invlpg)(struct kvm_vcpu *vcpu, gva_t gva);
Zhang Xiantaod657a982007-12-14 09:41:22 +0800245 hpa_t root_hpa;
246 int root_level;
247 int shadow_root_level;
Avi Kivitya770f6f2008-12-21 19:20:09 +0200248 union kvm_mmu_page_role base_role;
Zhang Xiantaod657a982007-12-14 09:41:22 +0800249
250 u64 *pae_root;
251};
252
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800253struct kvm_vcpu_arch {
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800254 u64 host_tsc;
255 int interrupt_window_open;
256 unsigned long irq_summary; /* bit vector: 1 per word in irq_pending */
257 DECLARE_BITMAP(irq_pending, KVM_NR_INTERRUPTS);
Marcelo Tosatti5fdbf972008-06-27 14:58:02 -0300258 /*
259 * rip and regs accesses must go through
260 * kvm_{register,rip}_{read,write} functions.
261 */
262 unsigned long regs[NR_VCPU_REGS];
263 u32 regs_avail;
264 u32 regs_dirty;
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800265
266 unsigned long cr0;
267 unsigned long cr2;
268 unsigned long cr3;
269 unsigned long cr4;
270 unsigned long cr8;
Alexander Graf1371d902008-11-25 20:17:04 +0100271 u32 hflags;
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800272 u64 pdptrs[4]; /* pae */
273 u64 shadow_efer;
274 u64 apic_base;
275 struct kvm_lapic *apic; /* kernel irqchip context */
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800276 int mp_state;
277 int sipi_vector;
278 u64 ia32_misc_enable_msr;
Avi Kivityb209749f2007-10-22 16:50:39 +0200279 bool tpr_access_reporting;
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800280
281 struct kvm_mmu mmu;
Dave Hansen6ad18fb2008-08-11 10:01:49 -0700282 /* only needed in kvm_pv_mmu_op() path, but it's hot so
283 * put it here to avoid allocation */
284 struct kvm_pv_mmu_op_buffer mmu_op_buffer;
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800285
286 struct kvm_mmu_memory_cache mmu_pte_chain_cache;
287 struct kvm_mmu_memory_cache mmu_rmap_desc_cache;
288 struct kvm_mmu_memory_cache mmu_page_cache;
289 struct kvm_mmu_memory_cache mmu_page_header_cache;
290
291 gfn_t last_pt_write_gfn;
292 int last_pt_write_count;
293 u64 *last_pte_updated;
Avi Kivity1b7fcd32008-05-15 13:51:35 +0300294 gfn_t last_pte_gfn;
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800295
Avi Kivityd7824ff2007-12-30 12:29:05 +0200296 struct {
Anthony Liguori35149e22008-04-02 14:46:56 -0500297 gfn_t gfn; /* presumed gfn during guest pte update */
298 pfn_t pfn; /* pfn corresponding to that gfn */
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300299 int largepage;
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200300 unsigned long mmu_seq;
Avi Kivityd7824ff2007-12-30 12:29:05 +0200301 } update_pte;
302
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800303 struct i387_fxsave_struct host_fx_image;
304 struct i387_fxsave_struct guest_fx_image;
305
306 gva_t mmio_fault_cr2;
307 struct kvm_pio_request pio;
308 void *pio_data;
309
Avi Kivity298101d2007-11-25 13:41:11 +0200310 struct kvm_queued_exception {
311 bool pending;
312 bool has_error_code;
313 u8 nr;
314 u32 error_code;
315 } exception;
316
Avi Kivity937a7ea2008-07-03 15:17:01 +0300317 struct kvm_queued_interrupt {
318 bool pending;
319 u8 nr;
320 } interrupt;
321
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800322 struct {
323 int active;
324 u8 save_iopl;
325 struct kvm_save_segment {
326 u16 selector;
327 unsigned long base;
328 u32 limit;
329 u32 ar;
330 } tr, es, ds, fs, gs;
331 } rmode;
332 int halt_request; /* real mode on Intel only */
333
334 int cpuid_nent;
Dan Kenigsberg07716712007-11-21 17:10:04 +0200335 struct kvm_cpuid_entry2 cpuid_entries[KVM_MAX_CPUID_ENTRIES];
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800336 /* emulate context */
337
338 struct x86_emulate_ctxt emulate_ctxt;
Glauber de Oliveira Costa18068522008-02-15 17:52:47 -0200339
340 gpa_t time;
Gerd Hoffmann50d0a0f2008-06-03 16:17:31 +0200341 struct pvclock_vcpu_time_info hv_clock;
342 unsigned int hv_clock_tsc_khz;
Glauber de Oliveira Costa18068522008-02-15 17:52:47 -0200343 unsigned int time_offset;
344 struct page *time_page;
Sheng Yang3419ffc2008-05-15 09:52:48 +0800345
346 bool nmi_pending;
Avi Kivity668f6122008-07-02 09:28:55 +0300347 bool nmi_injected;
Jan Kiszka33f089c2008-09-26 09:30:49 +0200348 bool nmi_window_open;
Avi Kivity9ba075a2008-05-26 20:06:35 +0300349
Sheng Yang0bed3b52008-10-09 16:01:54 +0800350 struct mtrr_state_type mtrr_state;
351 u32 pat;
Jan Kiszka42dbaa52008-12-15 13:52:10 +0100352
353 int switch_db_regs;
354 unsigned long host_db[KVM_NR_DB_REGS];
355 unsigned long host_dr6;
356 unsigned long host_dr7;
357 unsigned long db[KVM_NR_DB_REGS];
358 unsigned long dr6;
359 unsigned long dr7;
360 unsigned long eff_db[KVM_NR_DB_REGS];
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800361};
362
Zhang Xiantaod69fb812007-12-14 09:54:20 +0800363struct kvm_mem_alias {
364 gfn_t base_gfn;
365 unsigned long npages;
366 gfn_t target_gfn;
367};
368
369struct kvm_arch{
370 int naliases;
371 struct kvm_mem_alias aliases[KVM_ALIAS_SLOTS];
Zhang Xiantaof05e70a2007-12-14 10:01:48 +0800372
373 unsigned int n_free_mmu_pages;
374 unsigned int n_requested_mmu_pages;
375 unsigned int n_alloc_mmu_pages;
376 struct hlist_head mmu_page_hash[KVM_NUM_MMU_PAGES];
377 /*
378 * Hash table of struct kvm_mmu_page.
379 */
380 struct list_head active_mmu_pages;
Ben-Ami Yassour4d5c5d02008-07-28 19:26:26 +0300381 struct list_head assigned_dev_head;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200382 struct list_head oos_global_pages;
Joerg Roedel19de40a2008-12-03 14:43:34 +0100383 struct iommu_domain *iommu_domain;
Zhang Xiantaod7deeeb02007-12-14 10:17:34 +0800384 struct kvm_pic *vpic;
385 struct kvm_ioapic *vioapic;
Sheng Yang78376992008-01-28 05:10:22 +0800386 struct kvm_pit *vpit;
Avi Kivity564f1532008-07-26 17:00:59 -0300387 struct hlist_head irq_ack_notifier_list;
Jan Kiszkacc6e4622008-10-20 10:20:03 +0200388 int vapics_in_nmi_mode;
Zhang Xiantaobfc6d222007-12-14 10:20:16 +0800389
390 int round_robin_prev_vcpu;
391 unsigned int tss_addr;
392 struct page *apic_access_page;
Glauber de Oliveira Costa18068522008-02-15 17:52:47 -0200393
394 gpa_t wall_clock;
Sheng Yangb7ebfb02008-04-25 21:44:52 +0800395
396 struct page *ept_identity_pagetable;
397 bool ept_identity_pagetable_done;
Sheng Yang5550af42008-10-15 20:15:06 +0800398
399 unsigned long irq_sources_bitmap;
400 unsigned long irq_states[KVM_IOAPIC_NUM_PINS];
Zhang Xiantaod69fb812007-12-14 09:54:20 +0800401};
402
Zhang Xiantao07114562007-12-14 10:23:23 +0800403struct kvm_vm_stat {
404 u32 mmu_shadow_zapped;
405 u32 mmu_pte_write;
406 u32 mmu_pte_updated;
407 u32 mmu_pde_zapped;
408 u32 mmu_flooded;
409 u32 mmu_recycled;
Avi Kivitydfc5aa02007-12-18 19:47:18 +0200410 u32 mmu_cache_miss;
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300411 u32 mmu_unsync;
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200412 u32 mmu_unsync_global;
Zhang Xiantao07114562007-12-14 10:23:23 +0800413 u32 remote_tlb_flush;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300414 u32 lpages;
Zhang Xiantao07114562007-12-14 10:23:23 +0800415};
416
Zhang Xiantao77b4c252007-12-14 09:49:26 +0800417struct kvm_vcpu_stat {
418 u32 pf_fixed;
419 u32 pf_guest;
420 u32 tlb_flush;
421 u32 invlpg;
422
423 u32 exits;
424 u32 io_exits;
425 u32 mmio_exits;
426 u32 signal_exits;
427 u32 irq_window_exits;
Sheng Yangf08864b2008-05-15 18:23:25 +0800428 u32 nmi_window_exits;
Zhang Xiantao77b4c252007-12-14 09:49:26 +0800429 u32 halt_exits;
430 u32 halt_wakeup;
431 u32 request_irq_exits;
Jan Kiszkac4abb7c2008-09-26 09:30:55 +0200432 u32 request_nmi_exits;
Zhang Xiantao77b4c252007-12-14 09:49:26 +0800433 u32 irq_exits;
434 u32 host_state_reload;
435 u32 efer_reload;
436 u32 fpu_reload;
437 u32 insn_emulation;
438 u32 insn_emulation_fail;
Amit Shahf11c3a82008-02-21 01:00:30 +0530439 u32 hypercalls;
Avi Kivityfa89a812008-09-01 15:57:51 +0300440 u32 irq_injections;
Jan Kiszkac4abb7c2008-09-26 09:30:55 +0200441 u32 nmi_injections;
Zhang Xiantao77b4c252007-12-14 09:49:26 +0800442};
Zhang Xiantaoad312c72007-12-13 23:50:52 +0800443
Hollis Blancharde01a1b52007-12-03 15:30:25 -0600444struct descriptor_table {
445 u16 limit;
446 unsigned long base;
447} __attribute__((packed));
448
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800449struct kvm_x86_ops {
450 int (*cpu_has_kvm_support)(void); /* __init */
451 int (*disabled_by_bios)(void); /* __init */
452 void (*hardware_enable)(void *dummy); /* __init */
453 void (*hardware_disable)(void *dummy);
454 void (*check_processor_compatibility)(void *rtn);
455 int (*hardware_setup)(void); /* __init */
456 void (*hardware_unsetup)(void); /* __exit */
Avi Kivity774ead32007-12-26 13:57:04 +0200457 bool (*cpu_has_accelerated_tpr)(void);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800458
459 /* Create, but do not attach this VCPU */
460 struct kvm_vcpu *(*vcpu_create)(struct kvm *kvm, unsigned id);
461 void (*vcpu_free)(struct kvm_vcpu *vcpu);
462 int (*vcpu_reset)(struct kvm_vcpu *vcpu);
463
464 void (*prepare_guest_switch)(struct kvm_vcpu *vcpu);
465 void (*vcpu_load)(struct kvm_vcpu *vcpu, int cpu);
466 void (*vcpu_put)(struct kvm_vcpu *vcpu);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800467
468 int (*set_guest_debug)(struct kvm_vcpu *vcpu,
Jan Kiszkad0bfb942008-12-15 13:52:10 +0100469 struct kvm_guest_debug *dbg);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800470 int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata);
471 int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
472 u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg);
473 void (*get_segment)(struct kvm_vcpu *vcpu,
474 struct kvm_segment *var, int seg);
Izik Eidus2e4d2652008-03-24 19:38:34 +0200475 int (*get_cpl)(struct kvm_vcpu *vcpu);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800476 void (*set_segment)(struct kvm_vcpu *vcpu,
477 struct kvm_segment *var, int seg);
478 void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l);
479 void (*decache_cr4_guest_bits)(struct kvm_vcpu *vcpu);
480 void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0);
481 void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3);
482 void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4);
483 void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer);
484 void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
485 void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
486 void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
487 void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
488 unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr);
489 void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value,
490 int *exception);
Marcelo Tosatti5fdbf972008-06-27 14:58:02 -0300491 void (*cache_reg)(struct kvm_vcpu *vcpu, enum kvm_reg reg);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800492 unsigned long (*get_rflags)(struct kvm_vcpu *vcpu);
493 void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags);
494
495 void (*tlb_flush)(struct kvm_vcpu *vcpu);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800496
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800497 void (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run);
498 int (*handle_exit)(struct kvm_run *run, struct kvm_vcpu *vcpu);
499 void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu);
500 void (*patch_hypercall)(struct kvm_vcpu *vcpu,
501 unsigned char *hypercall_addr);
502 int (*get_irq)(struct kvm_vcpu *vcpu);
503 void (*set_irq)(struct kvm_vcpu *vcpu, int vec);
Avi Kivity298101d2007-11-25 13:41:11 +0200504 void (*queue_exception)(struct kvm_vcpu *vcpu, unsigned nr,
505 bool has_error_code, u32 error_code);
506 bool (*exception_injected)(struct kvm_vcpu *vcpu);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800507 void (*inject_pending_irq)(struct kvm_vcpu *vcpu);
508 void (*inject_pending_vectors)(struct kvm_vcpu *vcpu,
509 struct kvm_run *run);
510
511 int (*set_tss_addr)(struct kvm *kvm, unsigned int addr);
Sheng Yang67253af2008-04-25 10:20:22 +0800512 int (*get_tdp_level)(void);
Sheng Yang64d4d522008-10-09 16:01:57 +0800513 int (*get_mt_mask_shift)(void);
Zhang Xiantaoea4a5ff2007-11-19 14:40:47 +0800514};
515
Zhang Xiantao97896d02007-11-14 20:09:30 +0800516extern struct kvm_x86_ops *kvm_x86_ops;
517
Zhang Xiantao54f15852007-11-19 15:24:28 +0800518int kvm_mmu_module_init(void);
519void kvm_mmu_module_exit(void);
520
521void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
522int kvm_mmu_create(struct kvm_vcpu *vcpu);
523int kvm_mmu_setup(struct kvm_vcpu *vcpu);
524void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte);
Sheng Yang7b523452008-04-25 21:13:50 +0800525void kvm_mmu_set_base_ptes(u64 base_pte);
526void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
Sheng Yang64d4d522008-10-09 16:01:57 +0800527 u64 dirty_mask, u64 nx_mask, u64 x_mask, u64 mt_mask);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800528
529int kvm_mmu_reset_context(struct kvm_vcpu *vcpu);
530void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot);
531void kvm_mmu_zap_all(struct kvm *kvm);
Zhang Xiantao3ad82a72007-11-20 13:11:38 +0800532unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800533void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages);
534
Joerg Roedelcc4b6872008-02-07 13:47:43 +0100535int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
536
Marcelo Tosatti3200f402008-03-29 20:17:59 -0300537int emulator_write_phys(struct kvm_vcpu *vcpu, gpa_t gpa,
Avi Kivity9f811282008-03-02 14:06:05 +0200538 const void *val, int bytes);
Marcelo Tosatti2f333bc2008-02-22 12:21:37 -0500539int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
540 gpa_t addr, unsigned long *ret);
541
542extern bool tdp_enabled;
Avi Kivity9f811282008-03-02 14:06:05 +0200543
Zhang Xiantao54f15852007-11-19 15:24:28 +0800544enum emulation_result {
545 EMULATE_DONE, /* no further processing */
546 EMULATE_DO_MMIO, /* kvm_run filled with mmio request */
547 EMULATE_FAIL, /* can't emulate this instruction */
548};
549
Sheng Yang571008d2008-01-02 14:49:22 +0800550#define EMULTYPE_NO_DECODE (1 << 0)
551#define EMULTYPE_TRAP_UD (1 << 1)
Zhang Xiantao54f15852007-11-19 15:24:28 +0800552int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run,
Sheng Yang571008d2008-01-02 14:49:22 +0800553 unsigned long cr2, u16 error_code, int emulation_type);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800554void kvm_report_emulation_failure(struct kvm_vcpu *cvpu, const char *context);
555void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
556void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
557void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw,
558 unsigned long *rflags);
559
560unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr);
561void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value,
562 unsigned long *rflags);
Joerg Roedelf2b4b7d2008-01-31 14:57:37 +0100563void kvm_enable_efer_bits(u64);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800564int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *data);
565int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
566
567struct x86_emulate_ctxt;
568
569int kvm_emulate_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
570 int size, unsigned port);
571int kvm_emulate_pio_string(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
572 int size, unsigned long count, int down,
573 gva_t address, int rep, unsigned port);
574void kvm_emulate_cpuid(struct kvm_vcpu *vcpu);
575int kvm_emulate_halt(struct kvm_vcpu *vcpu);
576int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address);
577int emulate_clts(struct kvm_vcpu *vcpu);
578int emulator_get_dr(struct x86_emulate_ctxt *ctxt, int dr,
579 unsigned long *dest);
580int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr,
581 unsigned long value);
582
Guillaume Thouvenin3e6e0aa2008-05-27 10:18:46 +0200583void kvm_get_segment(struct kvm_vcpu *vcpu, struct kvm_segment *var, int seg);
584int kvm_load_segment_descriptor(struct kvm_vcpu *vcpu, u16 selector,
585 int type_bits, int seg);
586
Izik Eidus37817f22008-03-24 23:14:53 +0200587int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int reason);
588
Avi Kivity2d3ad1f2008-02-24 11:20:43 +0200589void kvm_set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0);
Joerg Roedel9c204562008-04-01 16:44:56 +0200590void kvm_set_cr3(struct kvm_vcpu *vcpu, unsigned long cr3);
591void kvm_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);
592void kvm_set_cr8(struct kvm_vcpu *vcpu, unsigned long cr8);
Avi Kivity2d3ad1f2008-02-24 11:20:43 +0200593unsigned long kvm_get_cr8(struct kvm_vcpu *vcpu);
594void kvm_lmsw(struct kvm_vcpu *vcpu, unsigned long msw);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800595void kvm_get_cs_db_l_bits(struct kvm_vcpu *vcpu, int *db, int *l);
596
597int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata);
598int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data);
599
Avi Kivity298101d2007-11-25 13:41:11 +0200600void kvm_queue_exception(struct kvm_vcpu *vcpu, unsigned nr);
601void kvm_queue_exception_e(struct kvm_vcpu *vcpu, unsigned nr, u32 error_code);
Avi Kivityc3c91fe2007-11-25 14:04:58 +0200602void kvm_inject_page_fault(struct kvm_vcpu *vcpu, unsigned long cr2,
603 u32 error_code);
Avi Kivity298101d2007-11-25 13:41:11 +0200604
Xiantao Zhang3de42dc2008-10-06 13:48:45 +0800605void kvm_pic_set_irq(void *opaque, int irq, int level);
606
Sheng Yang3419ffc2008-05-15 09:52:48 +0800607void kvm_inject_nmi(struct kvm_vcpu *vcpu);
608
Zhang Xiantao54f15852007-11-19 15:24:28 +0800609void fx_init(struct kvm_vcpu *vcpu);
610
611int emulator_read_std(unsigned long addr,
612 void *val,
613 unsigned int bytes,
614 struct kvm_vcpu *vcpu);
615int emulator_write_emulated(unsigned long addr,
616 const void *val,
617 unsigned int bytes,
618 struct kvm_vcpu *vcpu);
619
620unsigned long segment_base(u16 selector);
621
Avi Kivityd835dfe2007-11-21 02:57:59 +0200622void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800623void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
Marcelo Tosattiad218f82008-12-01 22:32:05 -0200624 const u8 *new, int bytes,
625 bool guest_initiated);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800626int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva);
627void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu);
628int kvm_mmu_load(struct kvm_vcpu *vcpu);
629void kvm_mmu_unload(struct kvm_vcpu *vcpu);
Marcelo Tosatti0ba73cd2008-09-23 13:18:34 -0300630void kvm_mmu_sync_roots(struct kvm_vcpu *vcpu);
Marcelo Tosatti6cffe8c2008-12-01 22:32:04 -0200631void kvm_mmu_sync_global(struct kvm_vcpu *vcpu);
Zhang Xiantao54f15852007-11-19 15:24:28 +0800632
633int kvm_emulate_hypercall(struct kvm_vcpu *vcpu);
634
635int kvm_fix_hypercall(struct kvm_vcpu *vcpu);
636
Avi Kivity30677142007-10-28 18:48:59 +0200637int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t gva, u32 error_code);
Marcelo Tosattia7052892008-09-23 13:18:35 -0300638void kvm_mmu_invlpg(struct kvm_vcpu *vcpu, gva_t gva);
Zhang Xiantao34c16ee2007-10-20 15:34:38 +0800639
Joerg Roedel18552672008-02-07 13:47:41 +0100640void kvm_enable_tdp(void);
Joerg Roedel5f4cb662008-07-14 20:36:36 +0200641void kvm_disable_tdp(void);
Joerg Roedel18552672008-02-07 13:47:41 +0100642
Carsten Ottea03490e2007-10-29 16:09:35 +0100643int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
Carsten Ottede7d7892007-10-30 18:44:25 +0100644int complete_pio(struct kvm_vcpu *vcpu);
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800645
Izik Eidus28430992008-10-03 17:40:32 +0300646struct kvm_memory_slot *gfn_to_memslot_unaliased(struct kvm *kvm, gfn_t gfn);
647
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800648static inline struct kvm_mmu_page *page_header(hpa_t shadow_page)
649{
650 struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT);
651
652 return (struct kvm_mmu_page *)page_private(page);
653}
654
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300655static inline u16 kvm_read_fs(void)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800656{
657 u16 seg;
658 asm("mov %%fs, %0" : "=g"(seg));
659 return seg;
660}
661
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300662static inline u16 kvm_read_gs(void)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800663{
664 u16 seg;
665 asm("mov %%gs, %0" : "=g"(seg));
666 return seg;
667}
668
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300669static inline u16 kvm_read_ldt(void)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800670{
671 u16 ldt;
672 asm("sldt %0" : "=g"(ldt));
673 return ldt;
674}
675
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300676static inline void kvm_load_fs(u16 sel)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800677{
678 asm("mov %0, %%fs" : : "rm"(sel));
679}
680
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300681static inline void kvm_load_gs(u16 sel)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800682{
683 asm("mov %0, %%gs" : : "rm"(sel));
684}
685
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300686static inline void kvm_load_ldt(u16 sel)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800687{
688 asm("lldt %0" : : "rm"(sel));
689}
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800690
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300691static inline void kvm_get_idt(struct descriptor_table *table)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800692{
693 asm("sidt %0" : "=m"(*table));
694}
695
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300696static inline void kvm_get_gdt(struct descriptor_table *table)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800697{
698 asm("sgdt %0" : "=m"(*table));
699}
700
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300701static inline unsigned long kvm_read_tr_base(void)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800702{
703 u16 tr;
704 asm("str %0" : "=g"(tr));
705 return segment_base(tr);
706}
707
708#ifdef CONFIG_X86_64
709static inline unsigned long read_msr(unsigned long msr)
710{
711 u64 value;
712
713 rdmsrl(msr, value);
714 return value;
715}
716#endif
717
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300718static inline void kvm_fx_save(struct i387_fxsave_struct *image)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800719{
720 asm("fxsave (%0)":: "r" (image));
721}
722
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300723static inline void kvm_fx_restore(struct i387_fxsave_struct *image)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800724{
725 asm("fxrstor (%0)":: "r" (image));
726}
727
Avi Kivityd6e88ae2008-07-10 16:53:33 +0300728static inline void kvm_fx_finit(void)
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800729{
730 asm("finit");
731}
732
733static inline u32 get_rdx_init_val(void)
734{
735 return 0x600; /* P6 family */
736}
737
Avi Kivityc1a5d4f2007-11-25 14:12:03 +0200738static inline void kvm_inject_gp(struct kvm_vcpu *vcpu, u32 error_code)
739{
740 kvm_queue_exception_e(vcpu, GP_VECTOR, error_code);
741}
742
Zhang Xiantaoec6d2732007-11-19 15:08:31 +0800743#define MSR_IA32_TIME_STAMP_COUNTER 0x010
744
745#define TSS_IOPB_BASE_OFFSET 0x66
746#define TSS_BASE_SIZE 0x68
747#define TSS_IOPB_SIZE (65536 / 8)
748#define TSS_REDIRECTION_SIZE (256 / 8)
Joe Perches7d76b4d2008-03-23 01:02:34 -0700749#define RMODE_TSS_SIZE \
750 (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1)
Hollis Blanchard53e0aa72007-12-03 16:15:26 -0600751
Izik Eidus37817f22008-03-24 23:14:53 +0200752enum {
753 TASK_SWITCH_CALL = 0,
754 TASK_SWITCH_IRET = 1,
755 TASK_SWITCH_JMP = 2,
756 TASK_SWITCH_GATE = 3,
757};
758
Alexander Graf1371d902008-11-25 20:17:04 +0100759#define HF_GIF_MASK (1 << 0)
Alexander Graf3d6368e2008-11-25 20:17:07 +0100760#define HF_HIF_MASK (1 << 1)
761#define HF_VINTR_MASK (1 << 2)
Alexander Graf1371d902008-11-25 20:17:04 +0100762
Avi Kivity4ecac3f2008-05-13 13:23:38 +0300763/*
764 * Hardware virtualization extension instructions may fault if a
765 * reboot turns off virtualization while processes are running.
766 * Trap the fault and ignore the instruction if that happens.
767 */
768asmlinkage void kvm_handle_fault_on_reboot(void);
769
770#define __kvm_handle_fault_on_reboot(insn) \
771 "666: " insn "\n\t" \
Eduardo Habkost18b13e52008-08-19 20:00:08 -0300772 ".pushsection .fixup, \"ax\" \n" \
Avi Kivity4ecac3f2008-05-13 13:23:38 +0300773 "667: \n\t" \
Avi Kivity8ceed3472008-08-14 21:25:47 +0300774 __ASM_SIZE(push) " $666b \n\t" \
Avi Kivity4ecac3f2008-05-13 13:23:38 +0300775 "jmp kvm_handle_fault_on_reboot \n\t" \
776 ".popsection \n\t" \
777 ".pushsection __ex_table, \"a\" \n\t" \
Avi Kivity8ceed3472008-08-14 21:25:47 +0300778 _ASM_PTR " 666b, 667b \n\t" \
Avi Kivity4ecac3f2008-05-13 13:23:38 +0300779 ".popsection"
780
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200781#define KVM_ARCH_WANT_MMU_NOTIFIER
782int kvm_unmap_hva(struct kvm *kvm, unsigned long hva);
783int kvm_age_hva(struct kvm *kvm, unsigned long hva);
784
H. Peter Anvin1965aae2008-10-22 22:26:29 -0700785#endif /* _ASM_X86_KVM_HOST_H */