2 * Kernel-based Virtual Machine driver for Linux
4 * This header defines architecture specific interfaces, x86 version
6 * This work is licensed under the terms of the GNU GPL, version 2. See
7 * the COPYING file in the top-level directory.
11 #ifndef ASM_X86__KVM_HOST_H
12 #define ASM_X86__KVM_HOST_H
14 #include <linux/types.h>
16 #include <linux/mmu_notifier.h>
18 #include <linux/kvm.h>
19 #include <linux/kvm_para.h>
20 #include <linux/kvm_types.h>
22 #include <asm/pvclock-abi.h>
25 #define KVM_MAX_VCPUS 16
26 #define KVM_MEMORY_SLOTS 32
27 /* memory slots that does not exposed to userspace */
28 #define KVM_PRIVATE_MEM_SLOTS 4
30 #define KVM_PIO_PAGE_OFFSET 1
31 #define KVM_COALESCED_MMIO_PAGE_OFFSET 2
33 #define CR3_PAE_RESERVED_BITS ((X86_CR3_PWT | X86_CR3_PCD) - 1)
34 #define CR3_NONPAE_RESERVED_BITS ((PAGE_SIZE-1) & ~(X86_CR3_PWT | X86_CR3_PCD))
35 #define CR3_L_MODE_RESERVED_BITS (CR3_NONPAE_RESERVED_BITS | \
36 0xFFFFFF0000000000ULL)
38 #define KVM_GUEST_CR0_MASK \
39 (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE \
40 | X86_CR0_NW | X86_CR0_CD)
41 #define KVM_VM_CR0_ALWAYS_ON \
42 (X86_CR0_PG | X86_CR0_PE | X86_CR0_WP | X86_CR0_NE | X86_CR0_TS \
44 #define KVM_GUEST_CR4_MASK \
45 (X86_CR4_VME | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_PGE | X86_CR4_VMXE)
46 #define KVM_PMODE_VM_CR4_ALWAYS_ON (X86_CR4_PAE | X86_CR4_VMXE)
47 #define KVM_RMODE_VM_CR4_ALWAYS_ON (X86_CR4_VME | X86_CR4_PAE | X86_CR4_VMXE)
49 #define INVALID_PAGE (~(hpa_t)0)
50 #define UNMAPPED_GVA (~(gpa_t)0)
52 /* shadow tables are PAE even on non-PAE hosts */
53 #define KVM_HPAGE_SHIFT 21
54 #define KVM_HPAGE_SIZE (1UL << KVM_HPAGE_SHIFT)
55 #define KVM_HPAGE_MASK (~(KVM_HPAGE_SIZE - 1))
57 #define KVM_PAGES_PER_HPAGE (KVM_HPAGE_SIZE / PAGE_SIZE)
75 #define SELECTOR_TI_MASK (1 << 2)
76 #define SELECTOR_RPL_MASK 0x03
80 #define KVM_ALIAS_SLOTS 4
82 #define KVM_PERMILLE_MMU_PAGES 20
83 #define KVM_MIN_ALLOC_MMU_PAGES 64
84 #define KVM_MMU_HASH_SHIFT 10
85 #define KVM_NUM_MMU_PAGES (1 << KVM_MMU_HASH_SHIFT)
86 #define KVM_MIN_FREE_MMU_PAGES 5
87 #define KVM_REFILL_PAGES 25
88 #define KVM_MAX_CPUID_ENTRIES 40
89 #define KVM_NR_VAR_MTRR 8
91 extern spinlock_t kvm_lock;
92 extern struct list_head vm_list;
131 #include <asm/kvm_x86_emulate.h>
133 #define KVM_NR_MEM_OBJS 40
135 struct kvm_guest_debug {
142 * We don't want allocation failures within the mmu code, so we preallocate
143 * enough memory for a single page fault in a cache.
145 struct kvm_mmu_memory_cache {
147 void *objects[KVM_NR_MEM_OBJS];
150 #define NR_PTE_CHAIN_ENTRIES 5
152 struct kvm_pte_chain {
153 u64 *parent_ptes[NR_PTE_CHAIN_ENTRIES];
154 struct hlist_node link;
158 * kvm_mmu_page_role, below, is defined as:
160 * bits 0:3 - total guest paging levels (2-4, or zero for real mode)
161 * bits 4:7 - page table level for this shadow (1-4)
162 * bits 8:9 - page table quadrant for 2-level guests
163 * bit 16 - "metaphysical" - gfn is not a real page (huge page/real mode)
164 * bits 17:19 - common access permissions for all ptes in this shadow page
166 union kvm_mmu_page_role {
172 unsigned pad_for_nice_hex_output:6;
173 unsigned metaphysical:1;
179 struct kvm_mmu_page {
180 struct list_head link;
181 struct hlist_node hash_link;
184 * The following two entries are used to key the shadow page in the
188 union kvm_mmu_page_role role;
191 /* hold the gfn of each spte inside spt */
193 unsigned long slot_bitmap; /* One bit set per slot which has memory
194 * in this shadow page.
196 int multimapped; /* More than one parent_pte? */
197 int root_count; /* Currently serving as active root */
199 u64 *parent_pte; /* !multimapped */
200 struct hlist_head parent_ptes; /* multimapped, kvm_pte_chain */
205 * x86 supports 3 paging modes (4-level 64-bit, 3-level 64-bit, and 2-level
206 * 32-bit). The kvm_mmu structure abstracts the details of the current mmu
210 void (*new_cr3)(struct kvm_vcpu *vcpu);
211 int (*page_fault)(struct kvm_vcpu *vcpu, gva_t gva, u32 err);
212 void (*free)(struct kvm_vcpu *vcpu);
213 gpa_t (*gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t gva);
214 void (*prefetch_page)(struct kvm_vcpu *vcpu,
215 struct kvm_mmu_page *page);
218 int shadow_root_level;
223 struct kvm_vcpu_arch {
225 int interrupt_window_open;
226 unsigned long irq_summary; /* bit vector: 1 per word in irq_pending */
227 DECLARE_BITMAP(irq_pending, KVM_NR_INTERRUPTS);
229 * rip and regs accesses must go through
230 * kvm_{register,rip}_{read,write} functions.
232 unsigned long regs[NR_VCPU_REGS];
241 u64 pdptrs[4]; /* pae */
244 struct kvm_lapic *apic; /* kernel irqchip context */
247 u64 ia32_misc_enable_msr;
248 bool tpr_access_reporting;
252 struct kvm_mmu_memory_cache mmu_pte_chain_cache;
253 struct kvm_mmu_memory_cache mmu_rmap_desc_cache;
254 struct kvm_mmu_memory_cache mmu_page_cache;
255 struct kvm_mmu_memory_cache mmu_page_header_cache;
257 gfn_t last_pt_write_gfn;
258 int last_pt_write_count;
259 u64 *last_pte_updated;
263 gfn_t gfn; /* presumed gfn during guest pte update */
264 pfn_t pfn; /* pfn corresponding to that gfn */
266 unsigned long mmu_seq;
269 struct i387_fxsave_struct host_fx_image;
270 struct i387_fxsave_struct guest_fx_image;
272 gva_t mmio_fault_cr2;
273 struct kvm_pio_request pio;
276 struct kvm_queued_exception {
283 struct kvm_queued_interrupt {
291 struct kvm_save_segment {
296 } tr, es, ds, fs, gs;
298 int halt_request; /* real mode on Intel only */
301 struct kvm_cpuid_entry2 cpuid_entries[KVM_MAX_CPUID_ENTRIES];
302 /* emulate context */
304 struct x86_emulate_ctxt emulate_ctxt;
307 struct pvclock_vcpu_time_info hv_clock;
308 unsigned int hv_clock_tsc_khz;
309 unsigned int time_offset;
310 struct page *time_page;
318 struct kvm_mem_alias {
320 unsigned long npages;
324 struct kvm_irq_ack_notifier {
325 struct hlist_node link;
327 void (*irq_acked)(struct kvm_irq_ack_notifier *kian);
332 struct kvm_mem_alias aliases[KVM_ALIAS_SLOTS];
334 unsigned int n_free_mmu_pages;
335 unsigned int n_requested_mmu_pages;
336 unsigned int n_alloc_mmu_pages;
337 struct hlist_head mmu_page_hash[KVM_NUM_MMU_PAGES];
339 * Hash table of struct kvm_mmu_page.
341 struct list_head active_mmu_pages;
342 struct kvm_pic *vpic;
343 struct kvm_ioapic *vioapic;
344 struct kvm_pit *vpit;
345 struct hlist_head irq_ack_notifier_list;
347 int round_robin_prev_vcpu;
348 unsigned int tss_addr;
349 struct page *apic_access_page;
353 struct page *ept_identity_pagetable;
354 bool ept_identity_pagetable_done;
358 u32 mmu_shadow_zapped;
365 u32 remote_tlb_flush;
369 struct kvm_vcpu_stat {
379 u32 irq_window_exits;
380 u32 nmi_window_exits;
383 u32 request_irq_exits;
385 u32 host_state_reload;
389 u32 insn_emulation_fail;
393 struct descriptor_table {
396 } __attribute__((packed));
399 int (*cpu_has_kvm_support)(void); /* __init */
400 int (*disabled_by_bios)(void); /* __init */
401 void (*hardware_enable)(void *dummy); /* __init */
402 void (*hardware_disable)(void *dummy);
403 void (*check_processor_compatibility)(void *rtn);
404 int (*hardware_setup)(void); /* __init */
405 void (*hardware_unsetup)(void); /* __exit */
406 bool (*cpu_has_accelerated_tpr)(void);
408 /* Create, but do not attach this VCPU */
409 struct kvm_vcpu *(*vcpu_create)(struct kvm *kvm, unsigned id);
410 void (*vcpu_free)(struct kvm_vcpu *vcpu);
411 int (*vcpu_reset)(struct kvm_vcpu *vcpu);
413 void (*prepare_guest_switch)(struct kvm_vcpu *vcpu);
414 void (*vcpu_load)(struct kvm_vcpu *vcpu, int cpu);
415 void (*vcpu_put)(struct kvm_vcpu *vcpu);
417 int (*set_guest_debug)(struct kvm_vcpu *vcpu,
418 struct kvm_debug_guest *dbg);
419 void (*guest_debug_pre)(struct kvm_vcpu *vcpu);
420 int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata);
421 int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
422 u64 (*get_segment_base)(struct kvm_vcpu *vcpu, int seg);
423 void (*get_segment)(struct kvm_vcpu *vcpu,
424 struct kvm_segment *var, int seg);
425 int (*get_cpl)(struct kvm_vcpu *vcpu);
426 void (*set_segment)(struct kvm_vcpu *vcpu,
427 struct kvm_segment *var, int seg);
428 void (*get_cs_db_l_bits)(struct kvm_vcpu *vcpu, int *db, int *l);
429 void (*decache_cr4_guest_bits)(struct kvm_vcpu *vcpu);
430 void (*set_cr0)(struct kvm_vcpu *vcpu, unsigned long cr0);
431 void (*set_cr3)(struct kvm_vcpu *vcpu, unsigned long cr3);
432 void (*set_cr4)(struct kvm_vcpu *vcpu, unsigned long cr4);
433 void (*set_efer)(struct kvm_vcpu *vcpu, u64 efer);
434 void (*get_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
435 void (*set_idt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
436 void (*get_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
437 void (*set_gdt)(struct kvm_vcpu *vcpu, struct descriptor_table *dt);
438 unsigned long (*get_dr)(struct kvm_vcpu *vcpu, int dr);
439 void (*set_dr)(struct kvm_vcpu *vcpu, int dr, unsigned long value,
441 void (*cache_reg)(struct kvm_vcpu *vcpu, enum kvm_reg reg);
442 unsigned long (*get_rflags)(struct kvm_vcpu *vcpu);
443 void (*set_rflags)(struct kvm_vcpu *vcpu, unsigned long rflags);
445 void (*tlb_flush)(struct kvm_vcpu *vcpu);
447 void (*run)(struct kvm_vcpu *vcpu, struct kvm_run *run);
448 int (*handle_exit)(struct kvm_run *run, struct kvm_vcpu *vcpu);
449 void (*skip_emulated_instruction)(struct kvm_vcpu *vcpu);
450 void (*patch_hypercall)(struct kvm_vcpu *vcpu,
451 unsigned char *hypercall_addr);
452 int (*get_irq)(struct kvm_vcpu *vcpu);
453 void (*set_irq)(struct kvm_vcpu *vcpu, int vec);
454 void (*queue_exception)(struct kvm_vcpu *vcpu, unsigned nr,
455 bool has_error_code, u32 error_code);
456 bool (*exception_injected)(struct kvm_vcpu *vcpu);
457 void (*inject_pending_irq)(struct kvm_vcpu *vcpu);
458 void (*inject_pending_vectors)(struct kvm_vcpu *vcpu,
459 struct kvm_run *run);
461 int (*set_tss_addr)(struct kvm *kvm, unsigned int addr);
462 int (*get_tdp_level)(void);
465 extern struct kvm_x86_ops *kvm_x86_ops;
467 int kvm_mmu_module_init(void);
468 void kvm_mmu_module_exit(void);
470 void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
471 int kvm_mmu_create(struct kvm_vcpu *vcpu);
472 int kvm_mmu_setup(struct kvm_vcpu *vcpu);
473 void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte);
474 void kvm_mmu_set_base_ptes(u64 base_pte);
475 void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
476 u64 dirty_mask, u64 nx_mask, u64 x_mask);
478 int kvm_mmu_reset_context(struct kvm_vcpu *vcpu);
479 void kvm_mmu_slot_remove_write_access(struct kvm *kvm, int slot);
480 void kvm_mmu_zap_all(struct kvm *kvm);
481 unsigned int kvm_mmu_calculate_mmu_pages(struct kvm *kvm);
482 void kvm_mmu_change_mmu_pages(struct kvm *kvm, unsigned int kvm_nr_mmu_pages);
484 int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
486 int emulator_write_phys(struct kvm_vcpu *vcpu, gpa_t gpa,
487 const void *val, int bytes);
488 int kvm_pv_mmu_op(struct kvm_vcpu *vcpu, unsigned long bytes,
489 gpa_t addr, unsigned long *ret);
491 extern bool tdp_enabled;
493 enum emulation_result {
494 EMULATE_DONE, /* no further processing */
495 EMULATE_DO_MMIO, /* kvm_run filled with mmio request */
496 EMULATE_FAIL, /* can't emulate this instruction */
499 #define EMULTYPE_NO_DECODE (1 << 0)
500 #define EMULTYPE_TRAP_UD (1 << 1)
501 int emulate_instruction(struct kvm_vcpu *vcpu, struct kvm_run *run,
502 unsigned long cr2, u16 error_code, int emulation_type);
503 void kvm_report_emulation_failure(struct kvm_vcpu *cvpu, const char *context);
504 void realmode_lgdt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
505 void realmode_lidt(struct kvm_vcpu *vcpu, u16 size, unsigned long address);
506 void realmode_lmsw(struct kvm_vcpu *vcpu, unsigned long msw,
507 unsigned long *rflags);
509 unsigned long realmode_get_cr(struct kvm_vcpu *vcpu, int cr);
510 void realmode_set_cr(struct kvm_vcpu *vcpu, int cr, unsigned long value,
511 unsigned long *rflags);
512 void kvm_enable_efer_bits(u64);
513 int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *data);
514 int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data);
516 struct x86_emulate_ctxt;
518 int kvm_emulate_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
519 int size, unsigned port);
520 int kvm_emulate_pio_string(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
521 int size, unsigned long count, int down,
522 gva_t address, int rep, unsigned port);
523 void kvm_emulate_cpuid(struct kvm_vcpu *vcpu);
524 int kvm_emulate_halt(struct kvm_vcpu *vcpu);
525 int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address);
526 int emulate_clts(struct kvm_vcpu *vcpu);
527 int emulator_get_dr(struct x86_emulate_ctxt *ctxt, int dr,
528 unsigned long *dest);
529 int emulator_set_dr(struct x86_emulate_ctxt *ctxt, int dr,
530 unsigned long value);
532 void kvm_get_segment(struct kvm_vcpu *vcpu, struct kvm_segment *var, int seg);
533 int kvm_load_segment_descriptor(struct kvm_vcpu *vcpu, u16 selector,
534 int type_bits, int seg);
536 int kvm_task_switch(struct kvm_vcpu *vcpu, u16 tss_selector, int reason);
538 void kvm_set_cr0(struct kvm_vcpu *vcpu, unsigned long cr0);
539 void kvm_set_cr3(struct kvm_vcpu *vcpu, unsigned long cr3);
540 void kvm_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);
541 void kvm_set_cr8(struct kvm_vcpu *vcpu, unsigned long cr8);
542 unsigned long kvm_get_cr8(struct kvm_vcpu *vcpu);
543 void kvm_lmsw(struct kvm_vcpu *vcpu, unsigned long msw);
544 void kvm_get_cs_db_l_bits(struct kvm_vcpu *vcpu, int *db, int *l);
546 int kvm_get_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 *pdata);
547 int kvm_set_msr_common(struct kvm_vcpu *vcpu, u32 msr, u64 data);
549 void kvm_queue_exception(struct kvm_vcpu *vcpu, unsigned nr);
550 void kvm_queue_exception_e(struct kvm_vcpu *vcpu, unsigned nr, u32 error_code);
551 void kvm_inject_page_fault(struct kvm_vcpu *vcpu, unsigned long cr2,
554 void kvm_inject_nmi(struct kvm_vcpu *vcpu);
556 void fx_init(struct kvm_vcpu *vcpu);
558 int emulator_read_std(unsigned long addr,
561 struct kvm_vcpu *vcpu);
562 int emulator_write_emulated(unsigned long addr,
565 struct kvm_vcpu *vcpu);
567 unsigned long segment_base(u16 selector);
569 void kvm_mmu_flush_tlb(struct kvm_vcpu *vcpu);
570 void kvm_mmu_pte_write(struct kvm_vcpu *vcpu, gpa_t gpa,
571 const u8 *new, int bytes);
572 int kvm_mmu_unprotect_page_virt(struct kvm_vcpu *vcpu, gva_t gva);
573 void __kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu);
574 int kvm_mmu_load(struct kvm_vcpu *vcpu);
575 void kvm_mmu_unload(struct kvm_vcpu *vcpu);
577 int kvm_emulate_hypercall(struct kvm_vcpu *vcpu);
579 int kvm_fix_hypercall(struct kvm_vcpu *vcpu);
581 int kvm_mmu_page_fault(struct kvm_vcpu *vcpu, gva_t gva, u32 error_code);
583 void kvm_enable_tdp(void);
584 void kvm_disable_tdp(void);
586 int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
587 int complete_pio(struct kvm_vcpu *vcpu);
589 static inline struct kvm_mmu_page *page_header(hpa_t shadow_page)
591 struct page *page = pfn_to_page(shadow_page >> PAGE_SHIFT);
593 return (struct kvm_mmu_page *)page_private(page);
596 static inline u16 kvm_read_fs(void)
599 asm("mov %%fs, %0" : "=g"(seg));
603 static inline u16 kvm_read_gs(void)
606 asm("mov %%gs, %0" : "=g"(seg));
610 static inline u16 kvm_read_ldt(void)
613 asm("sldt %0" : "=g"(ldt));
617 static inline void kvm_load_fs(u16 sel)
619 asm("mov %0, %%fs" : : "rm"(sel));
622 static inline void kvm_load_gs(u16 sel)
624 asm("mov %0, %%gs" : : "rm"(sel));
627 static inline void kvm_load_ldt(u16 sel)
629 asm("lldt %0" : : "rm"(sel));
632 static inline void kvm_get_idt(struct descriptor_table *table)
634 asm("sidt %0" : "=m"(*table));
637 static inline void kvm_get_gdt(struct descriptor_table *table)
639 asm("sgdt %0" : "=m"(*table));
642 static inline unsigned long kvm_read_tr_base(void)
645 asm("str %0" : "=g"(tr));
646 return segment_base(tr);
650 static inline unsigned long read_msr(unsigned long msr)
659 static inline void kvm_fx_save(struct i387_fxsave_struct *image)
661 asm("fxsave (%0)":: "r" (image));
664 static inline void kvm_fx_restore(struct i387_fxsave_struct *image)
666 asm("fxrstor (%0)":: "r" (image));
669 static inline void kvm_fx_finit(void)
674 static inline u32 get_rdx_init_val(void)
676 return 0x600; /* P6 family */
679 static inline void kvm_inject_gp(struct kvm_vcpu *vcpu, u32 error_code)
681 kvm_queue_exception_e(vcpu, GP_VECTOR, error_code);
684 #define ASM_VMX_VMCLEAR_RAX ".byte 0x66, 0x0f, 0xc7, 0x30"
685 #define ASM_VMX_VMLAUNCH ".byte 0x0f, 0x01, 0xc2"
686 #define ASM_VMX_VMRESUME ".byte 0x0f, 0x01, 0xc3"
687 #define ASM_VMX_VMPTRLD_RAX ".byte 0x0f, 0xc7, 0x30"
688 #define ASM_VMX_VMREAD_RDX_RAX ".byte 0x0f, 0x78, 0xd0"
689 #define ASM_VMX_VMWRITE_RAX_RDX ".byte 0x0f, 0x79, 0xd0"
690 #define ASM_VMX_VMWRITE_RSP_RDX ".byte 0x0f, 0x79, 0xd4"
691 #define ASM_VMX_VMXOFF ".byte 0x0f, 0x01, 0xc4"
692 #define ASM_VMX_VMXON_RAX ".byte 0xf3, 0x0f, 0xc7, 0x30"
693 #define ASM_VMX_INVEPT ".byte 0x66, 0x0f, 0x38, 0x80, 0x08"
694 #define ASM_VMX_INVVPID ".byte 0x66, 0x0f, 0x38, 0x81, 0x08"
696 #define MSR_IA32_TIME_STAMP_COUNTER 0x010
698 #define TSS_IOPB_BASE_OFFSET 0x66
699 #define TSS_BASE_SIZE 0x68
700 #define TSS_IOPB_SIZE (65536 / 8)
701 #define TSS_REDIRECTION_SIZE (256 / 8)
702 #define RMODE_TSS_SIZE \
703 (TSS_BASE_SIZE + TSS_REDIRECTION_SIZE + TSS_IOPB_SIZE + 1)
706 TASK_SWITCH_CALL = 0,
707 TASK_SWITCH_IRET = 1,
709 TASK_SWITCH_GATE = 3,
714 # define KVM_EX_ENTRY ".quad"
715 # define KVM_EX_PUSH "pushq"
717 # define KVM_EX_ENTRY ".long"
718 # define KVM_EX_PUSH "pushl"
722 * Hardware virtualization extension instructions may fault if a
723 * reboot turns off virtualization while processes are running.
724 * Trap the fault and ignore the instruction if that happens.
726 asmlinkage void kvm_handle_fault_on_reboot(void);
728 #define __kvm_handle_fault_on_reboot(insn) \
729 "666: " insn "\n\t" \
730 ".pushsection .fixup, \"ax\" \n" \
732 KVM_EX_PUSH " $666b \n\t" \
733 "jmp kvm_handle_fault_on_reboot \n\t" \
735 ".pushsection __ex_table, \"a\" \n\t" \
736 KVM_EX_ENTRY " 666b, 667b \n\t" \
739 #define KVM_ARCH_WANT_MMU_NOTIFIER
740 int kvm_unmap_hva(struct kvm *kvm, unsigned long hva);
741 int kvm_age_hva(struct kvm *kvm, unsigned long hva);
743 #endif /* ASM_X86__KVM_HOST_H */