blob: 8525afc53107faaaa993fa6ebae6c2d703eb718c [file] [log] [blame]
Avi Kivityedf88412007-12-16 11:02:48 +02001#ifndef __KVM_HOST_H
2#define __KVM_HOST_H
Avi Kivity6aa8b732006-12-10 02:21:36 -08003
4/*
5 * This work is licensed under the terms of the GNU GPL, version 2. See
6 * the COPYING file in the top-level directory.
7 */
8
9#include <linux/types.h>
Christian Borntraegere56a7a22007-10-18 14:39:10 +020010#include <linux/hardirq.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080011#include <linux/list.h>
12#include <linux/mutex.h>
13#include <linux/spinlock.h>
Markus Rechberger06ff0d32007-05-27 10:46:52 +030014#include <linux/signal.h>
15#include <linux/sched.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080016#include <linux/mm.h>
Avi Kivity15ad7142007-07-11 18:17:21 +030017#include <linux/preempt.h>
Feng(Eric) Liud4c9ff22008-04-10 08:47:53 -040018#include <linux/marker.h>
Alexey Dobriyane8edc6e2007-05-21 01:22:52 +040019#include <asm/signal.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080020
Avi Kivity6aa8b732006-12-10 02:21:36 -080021#include <linux/kvm.h>
Ingo Molnar102d8322007-02-19 14:37:47 +020022#include <linux/kvm_para.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080023
Avi Kivityedf88412007-12-16 11:02:48 +020024#include <linux/kvm_types.h>
Hollis Blanchardd77a39d2007-12-03 15:30:23 -060025
Avi Kivityedf88412007-12-16 11:02:48 +020026#include <asm/kvm_host.h>
Zhang Xiantaod657a982007-12-14 09:41:22 +080027
Avi Kivity6aa8b732006-12-10 02:21:36 -080028/*
Avi Kivityd9e368d2007-06-07 19:18:30 +030029 * vcpu->requests bit members
30 */
Avi Kivity3176bc32007-10-16 17:22:08 +020031#define KVM_REQ_TLB_FLUSH 0
Avi Kivity2f52d582008-01-16 12:49:30 +020032#define KVM_REQ_MIGRATE_TIMER 1
Avi Kivityb209749f2007-10-22 16:50:39 +020033#define KVM_REQ_REPORT_TPR_ACCESS 2
Marcelo Tosatti2e53d632008-02-20 14:47:24 -050034#define KVM_REQ_MMU_RELOAD 3
Joerg Roedel71c4dfa2008-02-26 16:49:16 +010035#define KVM_REQ_TRIPLE_FAULT 4
Marcelo Tosatti06e05642008-06-06 16:37:36 -030036#define KVM_REQ_PENDING_TIMER 5
Avi Kivity6aa8b732006-12-10 02:21:36 -080037
Avi Kivity6aa8b732006-12-10 02:21:36 -080038struct kvm_vcpu;
Rusty Russellc16f8622007-07-30 21:12:19 +100039extern struct kmem_cache *kvm_vcpu_cache;
Avi Kivity6aa8b732006-12-10 02:21:36 -080040
Gregory Haskins2eeb2e92007-05-31 14:08:53 -040041/*
42 * It would be nice to use something smarter than a linear search, TBD...
43 * Thankfully we dont expect many devices to register (famous last words :),
44 * so until then it will suffice. At least its abstracted so we can change
45 * in one place.
46 */
47struct kvm_io_bus {
48 int dev_count;
49#define NR_IOBUS_DEVS 6
50 struct kvm_io_device *devs[NR_IOBUS_DEVS];
51};
52
53void kvm_io_bus_init(struct kvm_io_bus *bus);
54void kvm_io_bus_destroy(struct kvm_io_bus *bus);
Laurent Vivier92760492008-05-30 16:05:53 +020055struct kvm_io_device *kvm_io_bus_find_dev(struct kvm_io_bus *bus,
56 gpa_t addr, int len, int is_write);
Gregory Haskins2eeb2e92007-05-31 14:08:53 -040057void kvm_io_bus_register_dev(struct kvm_io_bus *bus,
58 struct kvm_io_device *dev);
59
Zhang Xiantaod657a982007-12-14 09:41:22 +080060struct kvm_vcpu {
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +080061 struct kvm *kvm;
Hollis Blanchard31bb1172008-01-28 17:42:34 -060062#ifdef CONFIG_PREEMPT_NOTIFIERS
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +080063 struct preempt_notifier preempt_notifier;
Hollis Blanchard31bb1172008-01-28 17:42:34 -060064#endif
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +080065 int vcpu_id;
66 struct mutex mutex;
67 int cpu;
68 struct kvm_run *run;
69 int guest_mode;
70 unsigned long requests;
71 struct kvm_guest_debug guest_debug;
72 int fpu_active;
73 int guest_fpu_loaded;
74 wait_queue_head_t wq;
75 int sigset_active;
76 sigset_t sigset;
77 struct kvm_vcpu_stat stat;
78
79#ifdef CONFIG_HAS_IOMEM
80 int mmio_needed;
81 int mmio_read_completed;
82 int mmio_is_write;
83 int mmio_size;
84 unsigned char mmio_data[8];
85 gpa_t mmio_phys_addr;
86#endif
Zhang Xiantaod657a982007-12-14 09:41:22 +080087
88 struct kvm_vcpu_arch arch;
89};
90
Avi Kivity6aa8b732006-12-10 02:21:36 -080091struct kvm_memory_slot {
92 gfn_t base_gfn;
93 unsigned long npages;
94 unsigned long flags;
Izik Eidus290fc382007-09-27 14:11:22 +020095 unsigned long *rmap;
Avi Kivity6aa8b732006-12-10 02:21:36 -080096 unsigned long *dirty_bitmap;
Marcelo Tosatti05da4552008-02-23 11:44:30 -030097 struct {
98 unsigned long rmap_pde;
99 int write_count;
100 } *lpage_info;
Izik Eidus8a7ae052007-10-18 11:09:33 +0200101 unsigned long userspace_addr;
Izik Eidus80b14b52007-10-25 11:54:04 +0200102 int user_alloc;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800103};
104
105struct kvm {
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -0500106 struct mutex lock; /* protects the vcpus array and APIC accesses */
107 spinlock_t mmu_lock;
Izik Eidus72dc67a2008-02-10 18:04:15 +0200108 struct rw_semaphore slots_lock;
Avi Kivity6d4e4c42007-11-21 16:41:05 +0200109 struct mm_struct *mm; /* userspace tied to this vm */
Avi Kivity6aa8b732006-12-10 02:21:36 -0800110 int nmemslots;
Izik Eiduse0d62c72007-10-24 23:57:46 +0200111 struct kvm_memory_slot memslots[KVM_MEMORY_SLOTS +
112 KVM_PRIVATE_MEM_SLOTS];
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000113 struct kvm_vcpu *vcpus[KVM_MAX_VCPUS];
Avi Kivity133de902007-02-12 00:54:44 -0800114 struct list_head vm_list;
Gregory Haskins2eeb2e92007-05-31 14:08:53 -0400115 struct kvm_io_bus mmio_bus;
Eddie Dong74906342007-06-19 18:05:03 +0300116 struct kvm_io_bus pio_bus;
Avi Kivityba1389b2007-11-18 16:24:12 +0200117 struct kvm_vm_stat stat;
Zhang Xiantaod69fb812007-12-14 09:54:20 +0800118 struct kvm_arch arch;
Izik Eidusd39f13b2008-03-30 16:01:25 +0300119 atomic_t users_count;
Laurent Vivier5f94c172008-05-30 16:05:54 +0200120#ifdef KVM_COALESCED_MMIO_PAGE_OFFSET
121 struct kvm_coalesced_mmio_dev *coalesced_mmio_dev;
122 struct kvm_coalesced_mmio_ring *coalesced_mmio_ring;
123#endif
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200124
125#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
126 struct mmu_notifier mmu_notifier;
127 unsigned long mmu_notifier_seq;
128 long mmu_notifier_count;
129#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -0800130};
131
Rusty Russellf0242472007-08-01 10:48:02 +1000132/* The guest did something we don't support. */
133#define pr_unimpl(vcpu, fmt, ...) \
134 do { \
135 if (printk_ratelimit()) \
136 printk(KERN_ERR "kvm: %i: cpu%i " fmt, \
137 current->tgid, (vcpu)->vcpu_id , ## __VA_ARGS__); \
Mike Dayd77c26f2007-10-08 09:02:08 -0400138 } while (0)
Rusty Russellf0242472007-08-01 10:48:02 +1000139
Avi Kivity6aa8b732006-12-10 02:21:36 -0800140#define kvm_printf(kvm, fmt ...) printk(KERN_DEBUG fmt)
141#define vcpu_printf(vcpu, fmt...) kvm_printf(vcpu->kvm, fmt)
142
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000143int kvm_vcpu_init(struct kvm_vcpu *vcpu, struct kvm *kvm, unsigned id);
144void kvm_vcpu_uninit(struct kvm_vcpu *vcpu);
145
Carsten Otte313a3dc2007-10-11 19:16:52 +0200146void vcpu_load(struct kvm_vcpu *vcpu);
147void vcpu_put(struct kvm_vcpu *vcpu);
148
Zhang Xiantaof8c16bb2007-11-14 20:40:21 +0800149int kvm_init(void *opaque, unsigned int vcpu_size,
Rusty Russellc16f8622007-07-30 21:12:19 +1000150 struct module *module);
Zhang Xiantaocb498ea2007-11-14 20:39:31 +0800151void kvm_exit(void);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800152
Izik Eidusd39f13b2008-03-30 16:01:25 +0300153void kvm_get_kvm(struct kvm *kvm);
154void kvm_put_kvm(struct kvm *kvm);
155
Avi Kivity6aa8b732006-12-10 02:21:36 -0800156#define HPA_MSB ((sizeof(hpa_t) * 8) - 1)
157#define HPA_ERR_MASK ((hpa_t)1 << HPA_MSB)
158static inline int is_error_hpa(hpa_t hpa) { return hpa >> HPA_MSB; }
Avi Kivity039576c2007-03-20 12:46:50 +0200159struct page *gva_to_page(struct kvm_vcpu *vcpu, gva_t gva);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800160
Izik Eiduscea7bb22007-10-17 19:17:48 +0200161extern struct page *bad_page;
Anthony Liguori35149e22008-04-02 14:46:56 -0500162extern pfn_t bad_pfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800163
Izik Eiduscea7bb22007-10-17 19:17:48 +0200164int is_error_page(struct page *page);
Anthony Liguori35149e22008-04-02 14:46:56 -0500165int is_error_pfn(pfn_t pfn);
Izik Eidusf9d46eb2007-11-11 22:02:22 +0200166int kvm_is_error_hva(unsigned long addr);
Izik Eidus210c7c42007-10-24 23:52:57 +0200167int kvm_set_memory_region(struct kvm *kvm,
168 struct kvm_userspace_memory_region *mem,
169 int user_alloc);
Sheng Yangf78e0e22007-10-29 09:40:42 +0800170int __kvm_set_memory_region(struct kvm *kvm,
171 struct kvm_userspace_memory_region *mem,
172 int user_alloc);
Zhang Xiantao0de10342007-11-20 16:25:04 +0800173int kvm_arch_set_memory_region(struct kvm *kvm,
174 struct kvm_userspace_memory_region *mem,
175 struct kvm_memory_slot old,
176 int user_alloc);
Marcelo Tosatti34d4cb82008-07-10 20:49:31 -0300177void kvm_arch_flush_shadow(struct kvm *kvm);
Izik Eidus290fc382007-09-27 14:11:22 +0200178gfn_t unalias_gfn(struct kvm *kvm, gfn_t gfn);
Avi Kivity954bbbc2007-03-30 14:02:32 +0300179struct page *gfn_to_page(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300180unsigned long gfn_to_hva(struct kvm *kvm, gfn_t gfn);
Izik Eidusb4231d62007-11-20 11:49:33 +0200181void kvm_release_page_clean(struct page *page);
182void kvm_release_page_dirty(struct page *page);
Anthony Liguori35149e22008-04-02 14:46:56 -0500183void kvm_set_page_dirty(struct page *page);
184void kvm_set_page_accessed(struct page *page);
185
186pfn_t gfn_to_pfn(struct kvm *kvm, gfn_t gfn);
187void kvm_release_pfn_dirty(pfn_t);
188void kvm_release_pfn_clean(pfn_t pfn);
189void kvm_set_pfn_dirty(pfn_t pfn);
190void kvm_set_pfn_accessed(pfn_t pfn);
191void kvm_get_pfn(pfn_t pfn);
192
Izik Eidus195aefd2007-10-01 22:14:18 +0200193int kvm_read_guest_page(struct kvm *kvm, gfn_t gfn, void *data, int offset,
194 int len);
Marcelo Tosatti7ec54582007-12-20 19:18:23 -0500195int kvm_read_guest_atomic(struct kvm *kvm, gpa_t gpa, void *data,
196 unsigned long len);
Izik Eidus195aefd2007-10-01 22:14:18 +0200197int kvm_read_guest(struct kvm *kvm, gpa_t gpa, void *data, unsigned long len);
198int kvm_write_guest_page(struct kvm *kvm, gfn_t gfn, const void *data,
199 int offset, int len);
200int kvm_write_guest(struct kvm *kvm, gpa_t gpa, const void *data,
201 unsigned long len);
202int kvm_clear_guest_page(struct kvm *kvm, gfn_t gfn, int offset, int len);
203int kvm_clear_guest(struct kvm *kvm, gpa_t gpa, unsigned long len);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800204struct kvm_memory_slot *gfn_to_memslot(struct kvm *kvm, gfn_t gfn);
Izik Eiduse0d62c72007-10-24 23:57:46 +0200205int kvm_is_visible_gfn(struct kvm *kvm, gfn_t gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800206void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
207
Hollis Blanchard8776e512007-10-31 17:24:24 -0500208void kvm_vcpu_block(struct kvm_vcpu *vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800209void kvm_resched(struct kvm_vcpu *vcpu);
Avi Kivity7702fd12007-06-14 16:27:40 +0300210void kvm_load_guest_fpu(struct kvm_vcpu *vcpu);
211void kvm_put_guest_fpu(struct kvm_vcpu *vcpu);
Avi Kivityd9e368d2007-06-07 19:18:30 +0300212void kvm_flush_remote_tlbs(struct kvm *kvm);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -0500213void kvm_reload_remote_mmus(struct kvm *kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800214
Carsten Otte043405e2007-10-10 17:16:19 +0200215long kvm_arch_dev_ioctl(struct file *filp,
216 unsigned int ioctl, unsigned long arg);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200217long kvm_arch_vcpu_ioctl(struct file *filp,
218 unsigned int ioctl, unsigned long arg);
219void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
220void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
Zhang Xiantao018d00d2007-11-15 23:07:47 +0800221
222int kvm_dev_ioctl_check_extension(long ext);
223
Zhang Xiantao5bb064d2007-11-18 20:29:43 +0800224int kvm_get_dirty_log(struct kvm *kvm,
225 struct kvm_dirty_log *log, int *is_dirty);
226int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm,
227 struct kvm_dirty_log *log);
228
Carsten Otte1fe779f2007-10-29 16:08:35 +0100229int kvm_vm_ioctl_set_memory_region(struct kvm *kvm,
230 struct
231 kvm_userspace_memory_region *mem,
232 int user_alloc);
233long kvm_arch_vm_ioctl(struct file *filp,
234 unsigned int ioctl, unsigned long arg);
235void kvm_arch_destroy_vm(struct kvm *kvm);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200236
Hollis Blanchardd0752062007-10-31 17:24:25 -0500237int kvm_arch_vcpu_ioctl_get_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
238int kvm_arch_vcpu_ioctl_set_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
239
Zhang Xiantao8b006792007-11-16 13:05:55 +0800240int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
241 struct kvm_translation *tr);
242
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500243int kvm_arch_vcpu_ioctl_get_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
244int kvm_arch_vcpu_ioctl_set_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
245int kvm_arch_vcpu_ioctl_get_sregs(struct kvm_vcpu *vcpu,
246 struct kvm_sregs *sregs);
247int kvm_arch_vcpu_ioctl_set_sregs(struct kvm_vcpu *vcpu,
248 struct kvm_sregs *sregs);
Marcelo Tosatti62d9f0d2008-04-11 13:24:45 -0300249int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
250 struct kvm_mp_state *mp_state);
251int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
252 struct kvm_mp_state *mp_state);
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500253int kvm_arch_vcpu_ioctl_debug_guest(struct kvm_vcpu *vcpu,
254 struct kvm_debug_guest *dbg);
255int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run);
256
Zhang Xiantaof8c16bb2007-11-14 20:40:21 +0800257int kvm_arch_init(void *opaque);
258void kvm_arch_exit(void);
Carsten Otte043405e2007-10-10 17:16:19 +0200259
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800260int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu);
261void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu);
262
263void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu);
264void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
265void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
266struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id);
Avi Kivity26e52152007-11-20 15:30:24 +0200267int kvm_arch_vcpu_setup(struct kvm_vcpu *vcpu);
Hollis Blanchardd40ccc62007-11-19 14:04:43 -0600268void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800269
270int kvm_arch_vcpu_reset(struct kvm_vcpu *vcpu);
271void kvm_arch_hardware_enable(void *garbage);
272void kvm_arch_hardware_disable(void *garbage);
273int kvm_arch_hardware_setup(void);
274void kvm_arch_hardware_unsetup(void);
275void kvm_arch_check_processor_compat(void *rtn);
Zhang Xiantao1d737c82007-12-14 09:35:10 +0800276int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800277
Zhang Xiantaod19a9cd2007-11-18 18:43:45 +0800278void kvm_free_physmem(struct kvm *kvm);
279
280struct kvm *kvm_arch_create_vm(void);
281void kvm_arch_destroy_vm(struct kvm *kvm);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800282
Zhang Xiantao682c59a2007-12-11 20:36:00 +0800283int kvm_cpu_get_interrupt(struct kvm_vcpu *v);
284int kvm_cpu_has_interrupt(struct kvm_vcpu *v);
Marcelo Tosatti3d808402008-04-11 14:53:26 -0300285int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu);
Zhang Xiantao57361992007-12-17 14:21:40 +0800286void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
Zhang Xiantao682c59a2007-12-11 20:36:00 +0800287
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200288static inline void kvm_guest_enter(void)
289{
Christian Borntraegere56a7a22007-10-18 14:39:10 +0200290 account_system_vtime(current);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200291 current->flags |= PF_VCPU;
292}
293
294static inline void kvm_guest_exit(void)
295{
Christian Borntraegere56a7a22007-10-18 14:39:10 +0200296 account_system_vtime(current);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200297 current->flags &= ~PF_VCPU;
298}
299
Avi Kivity6aa8b732006-12-10 02:21:36 -0800300static inline int memslot_id(struct kvm *kvm, struct kvm_memory_slot *slot)
301{
302 return slot - kvm->memslots;
303}
304
Avi Kivity1755fbc2007-11-21 14:44:45 +0200305static inline gpa_t gfn_to_gpa(gfn_t gfn)
306{
307 return (gpa_t)gfn << PAGE_SHIFT;
308}
Avi Kivity6aa8b732006-12-10 02:21:36 -0800309
Marcelo Tosatti2f599712008-05-27 12:10:20 -0300310static inline void kvm_migrate_timers(struct kvm_vcpu *vcpu)
Avi Kivity2f52d582008-01-16 12:49:30 +0200311{
312 set_bit(KVM_REQ_MIGRATE_TIMER, &vcpu->requests);
313}
314
Avi Kivityba1389b2007-11-18 16:24:12 +0200315enum kvm_stat_kind {
316 KVM_STAT_VM,
317 KVM_STAT_VCPU,
318};
319
Hollis Blanchard417bc302007-10-31 17:24:23 -0500320struct kvm_stats_debugfs_item {
321 const char *name;
322 int offset;
Avi Kivityba1389b2007-11-18 16:24:12 +0200323 enum kvm_stat_kind kind;
Hollis Blanchard417bc302007-10-31 17:24:23 -0500324 struct dentry *dentry;
325};
326extern struct kvm_stats_debugfs_item debugfs_entries[];
Hollis Blanchard76f7c872008-04-15 16:05:42 -0500327extern struct dentry *kvm_debugfs_dir;
Feng(Eric) Liud4c9ff22008-04-10 08:47:53 -0400328
329#ifdef CONFIG_KVM_TRACE
330int kvm_trace_ioctl(unsigned int ioctl, unsigned long arg);
331void kvm_trace_cleanup(void);
332#else
333static inline
334int kvm_trace_ioctl(unsigned int ioctl, unsigned long arg)
335{
336 return -EINVAL;
337}
338#define kvm_trace_cleanup() ((void)0)
339#endif
Hollis Blanchard417bc302007-10-31 17:24:23 -0500340
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200341#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
342static inline int mmu_notifier_retry(struct kvm_vcpu *vcpu, unsigned long mmu_seq)
343{
344 if (unlikely(vcpu->kvm->mmu_notifier_count))
345 return 1;
346 /*
347 * Both reads happen under the mmu_lock and both values are
348 * modified under mmu_lock, so there's no need of smb_rmb()
349 * here in between, otherwise mmu_notifier_count should be
350 * read before mmu_notifier_seq, see
351 * mmu_notifier_invalidate_range_end write side.
352 */
353 if (vcpu->kvm->mmu_notifier_seq != mmu_seq)
354 return 1;
355 return 0;
356}
357#endif
358
Avi Kivity6aa8b732006-12-10 02:21:36 -0800359#endif