KVM: x86: Fix typos and whitespace errors
[GitHub/mt8127/android_kernel_alcatel_ttab.git] / include / linux / kvm_host.h
CommitLineData
edf88417
AK
1#ifndef __KVM_HOST_H
2#define __KVM_HOST_H
6aa8b732
AK
3
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>
e56a7a28 10#include <linux/hardirq.h>
6aa8b732
AK
11#include <linux/list.h>
12#include <linux/mutex.h>
13#include <linux/spinlock.h>
06ff0d37
MR
14#include <linux/signal.h>
15#include <linux/sched.h>
6aa8b732 16#include <linux/mm.h>
15ad7146 17#include <linux/preempt.h>
d4c9ff2d 18#include <linux/marker.h>
0937c48d 19#include <linux/msi.h>
e8edc6e0 20#include <asm/signal.h>
6aa8b732 21
6aa8b732 22#include <linux/kvm.h>
102d8325 23#include <linux/kvm_para.h>
6aa8b732 24
edf88417 25#include <linux/kvm_types.h>
d77a39d9 26
edf88417 27#include <asm/kvm_host.h>
d657a98e 28
d9e368d6
AK
29/*
30 * vcpu->requests bit members
31 */
3176bc3e 32#define KVM_REQ_TLB_FLUSH 0
2f52d58c 33#define KVM_REQ_MIGRATE_TIMER 1
b209749f 34#define KVM_REQ_REPORT_TPR_ACCESS 2
2e53d63a 35#define KVM_REQ_MMU_RELOAD 3
71c4dfaf 36#define KVM_REQ_TRIPLE_FAULT 4
06e05645 37#define KVM_REQ_PENDING_TIMER 5
d7690175 38#define KVM_REQ_UNHALT 6
4731d4c7 39#define KVM_REQ_MMU_SYNC 7
6aa8b732 40
5550af4d
SY
41#define KVM_USERSPACE_IRQ_SOURCE_ID 0
42
6aa8b732 43struct kvm_vcpu;
c16f862d 44extern struct kmem_cache *kvm_vcpu_cache;
6aa8b732 45
2eeb2e94
GH
46/*
47 * It would be nice to use something smarter than a linear search, TBD...
48 * Thankfully we dont expect many devices to register (famous last words :),
49 * so until then it will suffice. At least its abstracted so we can change
50 * in one place.
51 */
52struct kvm_io_bus {
53 int dev_count;
54#define NR_IOBUS_DEVS 6
55 struct kvm_io_device *devs[NR_IOBUS_DEVS];
56};
57
58void kvm_io_bus_init(struct kvm_io_bus *bus);
59void kvm_io_bus_destroy(struct kvm_io_bus *bus);
92760499
LV
60struct kvm_io_device *kvm_io_bus_find_dev(struct kvm_io_bus *bus,
61 gpa_t addr, int len, int is_write);
2eeb2e94
GH
62void kvm_io_bus_register_dev(struct kvm_io_bus *bus,
63 struct kvm_io_device *dev);
64
d17fbbf7
ZX
65struct kvm_vcpu {
66 struct kvm *kvm;
31bb117e 67#ifdef CONFIG_PREEMPT_NOTIFIERS
d17fbbf7 68 struct preempt_notifier preempt_notifier;
31bb117e 69#endif
d17fbbf7
ZX
70 int vcpu_id;
71 struct mutex mutex;
72 int cpu;
73 struct kvm_run *run;
74 int guest_mode;
75 unsigned long requests;
d0bfb940 76 unsigned long guest_debug;
d17fbbf7
ZX
77 int fpu_active;
78 int guest_fpu_loaded;
79 wait_queue_head_t wq;
80 int sigset_active;
81 sigset_t sigset;
82 struct kvm_vcpu_stat stat;
83
34c16eec 84#ifdef CONFIG_HAS_IOMEM
d17fbbf7
ZX
85 int mmio_needed;
86 int mmio_read_completed;
87 int mmio_is_write;
88 int mmio_size;
89 unsigned char mmio_data[8];
6aa8b732 90 gpa_t mmio_phys_addr;
34c16eec 91#endif
1165f5fe 92
d657a98e
ZX
93 struct kvm_vcpu_arch arch;
94};
95
6aa8b732
AK
96struct kvm_memory_slot {
97 gfn_t base_gfn;
98 unsigned long npages;
99 unsigned long flags;
290fc38d 100 unsigned long *rmap;
6aa8b732 101 unsigned long *dirty_bitmap;
05da4558
MT
102 struct {
103 unsigned long rmap_pde;
104 int write_count;
105 } *lpage_info;
8a7ae055 106 unsigned long userspace_addr;
80b14b5b 107 int user_alloc;
6aa8b732
AK
108};
109
110struct kvm {
aaee2c94
MT
111 struct mutex lock; /* protects the vcpus array and APIC accesses */
112 spinlock_t mmu_lock;
72dc67a6 113 struct rw_semaphore slots_lock;
6d4e4c4f 114 struct mm_struct *mm; /* userspace tied to this vm */
6aa8b732 115 int nmemslots;
e0d62c7f
IE
116 struct kvm_memory_slot memslots[KVM_MEMORY_SLOTS +
117 KVM_PRIVATE_MEM_SLOTS];
fb3f0f51 118 struct kvm_vcpu *vcpus[KVM_MAX_VCPUS];
133de902 119 struct list_head vm_list;
2eeb2e94 120 struct kvm_io_bus mmio_bus;
74906345 121 struct kvm_io_bus pio_bus;
ba1389b7 122 struct kvm_vm_stat stat;
d69fb81f 123 struct kvm_arch arch;
d39f13b0 124 atomic_t users_count;
5f94c174
LV
125#ifdef KVM_COALESCED_MMIO_PAGE_OFFSET
126 struct kvm_coalesced_mmio_dev *coalesced_mmio_dev;
127 struct kvm_coalesced_mmio_ring *coalesced_mmio_ring;
128#endif
e930bffe 129
75858a84
AK
130#ifdef CONFIG_HAVE_KVM_IRQCHIP
131 struct hlist_head mask_notifier_list;
132#endif
133
e930bffe
AA
134#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
135 struct mmu_notifier mmu_notifier;
136 unsigned long mmu_notifier_seq;
137 long mmu_notifier_count;
138#endif
6aa8b732
AK
139};
140
f0242478
RR
141/* The guest did something we don't support. */
142#define pr_unimpl(vcpu, fmt, ...) \
143 do { \
144 if (printk_ratelimit()) \
145 printk(KERN_ERR "kvm: %i: cpu%i " fmt, \
146 current->tgid, (vcpu)->vcpu_id , ## __VA_ARGS__); \
d77c26fc 147 } while (0)
f0242478 148
6aa8b732
AK
149#define kvm_printf(kvm, fmt ...) printk(KERN_DEBUG fmt)
150#define vcpu_printf(vcpu, fmt...) kvm_printf(vcpu->kvm, fmt)
151
fb3f0f51
RR
152int kvm_vcpu_init(struct kvm_vcpu *vcpu, struct kvm *kvm, unsigned id);
153void kvm_vcpu_uninit(struct kvm_vcpu *vcpu);
154
313a3dc7
CO
155void vcpu_load(struct kvm_vcpu *vcpu);
156void vcpu_put(struct kvm_vcpu *vcpu);
157
f8c16bba 158int kvm_init(void *opaque, unsigned int vcpu_size,
c16f862d 159 struct module *module);
cb498ea2 160void kvm_exit(void);
6aa8b732 161
d39f13b0
IE
162void kvm_get_kvm(struct kvm *kvm);
163void kvm_put_kvm(struct kvm *kvm);
164
6aa8b732
AK
165#define HPA_MSB ((sizeof(hpa_t) * 8) - 1)
166#define HPA_ERR_MASK ((hpa_t)1 << HPA_MSB)
167static inline int is_error_hpa(hpa_t hpa) { return hpa >> HPA_MSB; }
039576c0 168struct page *gva_to_page(struct kvm_vcpu *vcpu, gva_t gva);
6aa8b732 169
cea7bb21 170extern struct page *bad_page;
35149e21 171extern pfn_t bad_pfn;
6aa8b732 172
cea7bb21 173int is_error_page(struct page *page);
35149e21 174int is_error_pfn(pfn_t pfn);
f9d46eb0 175int kvm_is_error_hva(unsigned long addr);
210c7c4d
IE
176int kvm_set_memory_region(struct kvm *kvm,
177 struct kvm_userspace_memory_region *mem,
178 int user_alloc);
f78e0e2e
SY
179int __kvm_set_memory_region(struct kvm *kvm,
180 struct kvm_userspace_memory_region *mem,
181 int user_alloc);
0de10343
ZX
182int kvm_arch_set_memory_region(struct kvm *kvm,
183 struct kvm_userspace_memory_region *mem,
184 struct kvm_memory_slot old,
185 int user_alloc);
34d4cb8f 186void kvm_arch_flush_shadow(struct kvm *kvm);
290fc38d 187gfn_t unalias_gfn(struct kvm *kvm, gfn_t gfn);
954bbbc2 188struct page *gfn_to_page(struct kvm *kvm, gfn_t gfn);
05da4558 189unsigned long gfn_to_hva(struct kvm *kvm, gfn_t gfn);
b4231d61
IE
190void kvm_release_page_clean(struct page *page);
191void kvm_release_page_dirty(struct page *page);
35149e21
AL
192void kvm_set_page_dirty(struct page *page);
193void kvm_set_page_accessed(struct page *page);
194
195pfn_t gfn_to_pfn(struct kvm *kvm, gfn_t gfn);
196void kvm_release_pfn_dirty(pfn_t);
197void kvm_release_pfn_clean(pfn_t pfn);
198void kvm_set_pfn_dirty(pfn_t pfn);
199void kvm_set_pfn_accessed(pfn_t pfn);
200void kvm_get_pfn(pfn_t pfn);
201
195aefde
IE
202int kvm_read_guest_page(struct kvm *kvm, gfn_t gfn, void *data, int offset,
203 int len);
7ec54588
MT
204int kvm_read_guest_atomic(struct kvm *kvm, gpa_t gpa, void *data,
205 unsigned long len);
195aefde
IE
206int kvm_read_guest(struct kvm *kvm, gpa_t gpa, void *data, unsigned long len);
207int kvm_write_guest_page(struct kvm *kvm, gfn_t gfn, const void *data,
208 int offset, int len);
209int kvm_write_guest(struct kvm *kvm, gpa_t gpa, const void *data,
210 unsigned long len);
211int kvm_clear_guest_page(struct kvm *kvm, gfn_t gfn, int offset, int len);
212int kvm_clear_guest(struct kvm *kvm, gpa_t gpa, unsigned long len);
6aa8b732 213struct kvm_memory_slot *gfn_to_memslot(struct kvm *kvm, gfn_t gfn);
e0d62c7f 214int kvm_is_visible_gfn(struct kvm *kvm, gfn_t gfn);
6aa8b732
AK
215void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
216
8776e519 217void kvm_vcpu_block(struct kvm_vcpu *vcpu);
6aa8b732 218void kvm_resched(struct kvm_vcpu *vcpu);
7702fd1f
AK
219void kvm_load_guest_fpu(struct kvm_vcpu *vcpu);
220void kvm_put_guest_fpu(struct kvm_vcpu *vcpu);
d9e368d6 221void kvm_flush_remote_tlbs(struct kvm *kvm);
2e53d63a 222void kvm_reload_remote_mmus(struct kvm *kvm);
6aa8b732 223
043405e1
CO
224long kvm_arch_dev_ioctl(struct file *filp,
225 unsigned int ioctl, unsigned long arg);
313a3dc7
CO
226long kvm_arch_vcpu_ioctl(struct file *filp,
227 unsigned int ioctl, unsigned long arg);
228void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
229void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
018d00d2
ZX
230
231int kvm_dev_ioctl_check_extension(long ext);
232
5bb064dc
ZX
233int kvm_get_dirty_log(struct kvm *kvm,
234 struct kvm_dirty_log *log, int *is_dirty);
235int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm,
236 struct kvm_dirty_log *log);
237
1fe779f8
CO
238int kvm_vm_ioctl_set_memory_region(struct kvm *kvm,
239 struct
240 kvm_userspace_memory_region *mem,
241 int user_alloc);
242long kvm_arch_vm_ioctl(struct file *filp,
243 unsigned int ioctl, unsigned long arg);
313a3dc7 244
d0752060
HB
245int kvm_arch_vcpu_ioctl_get_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
246int kvm_arch_vcpu_ioctl_set_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
247
8b006791
ZX
248int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
249 struct kvm_translation *tr);
250
b6c7a5dc
HB
251int kvm_arch_vcpu_ioctl_get_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
252int kvm_arch_vcpu_ioctl_set_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
253int kvm_arch_vcpu_ioctl_get_sregs(struct kvm_vcpu *vcpu,
254 struct kvm_sregs *sregs);
255int kvm_arch_vcpu_ioctl_set_sregs(struct kvm_vcpu *vcpu,
256 struct kvm_sregs *sregs);
62d9f0db
MT
257int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
258 struct kvm_mp_state *mp_state);
259int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
260 struct kvm_mp_state *mp_state);
d0bfb940
JK
261int kvm_arch_vcpu_ioctl_set_guest_debug(struct kvm_vcpu *vcpu,
262 struct kvm_guest_debug *dbg);
b6c7a5dc
HB
263int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run);
264
f8c16bba
ZX
265int kvm_arch_init(void *opaque);
266void kvm_arch_exit(void);
043405e1 267
e9b11c17
ZX
268int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu);
269void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu);
270
271void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu);
272void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
273void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
274struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id);
26e5215f 275int kvm_arch_vcpu_setup(struct kvm_vcpu *vcpu);
d40ccc62 276void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu);
e9b11c17
ZX
277
278int kvm_arch_vcpu_reset(struct kvm_vcpu *vcpu);
279void kvm_arch_hardware_enable(void *garbage);
280void kvm_arch_hardware_disable(void *garbage);
281int kvm_arch_hardware_setup(void);
282void kvm_arch_hardware_unsetup(void);
283void kvm_arch_check_processor_compat(void *rtn);
1d737c8a 284int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu);
e9b11c17 285
d19a9cd2
ZX
286void kvm_free_physmem(struct kvm *kvm);
287
288struct kvm *kvm_arch_create_vm(void);
289void kvm_arch_destroy_vm(struct kvm *kvm);
8a98f664 290void kvm_free_all_assigned_devices(struct kvm *kvm);
ad8ba2cd 291void kvm_arch_sync_events(struct kvm *kvm);
e9b11c17 292
682c59a3
ZX
293int kvm_cpu_get_interrupt(struct kvm_vcpu *v);
294int kvm_cpu_has_interrupt(struct kvm_vcpu *v);
3d80840d 295int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu);
5736199a 296void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
682c59a3 297
c77fb9dc
XZ
298int kvm_is_mmio_pfn(pfn_t pfn);
299
62c476c7
BAY
300struct kvm_irq_ack_notifier {
301 struct hlist_node link;
302 unsigned gsi;
303 void (*irq_acked)(struct kvm_irq_ack_notifier *kian);
304};
305
306struct kvm_assigned_dev_kernel {
307 struct kvm_irq_ack_notifier ack_notifier;
308 struct work_struct interrupt_work;
309 struct list_head list;
310 int assigned_dev_id;
311 int host_busnr;
312 int host_devfn;
313 int host_irq;
defaf158 314 bool host_irq_disabled;
62c476c7 315 int guest_irq;
0937c48d 316 struct msi_msg guest_msi;
4f906c19 317#define KVM_ASSIGNED_DEV_GUEST_INTX (1 << 0)
0937c48d 318#define KVM_ASSIGNED_DEV_GUEST_MSI (1 << 1)
4f906c19 319#define KVM_ASSIGNED_DEV_HOST_INTX (1 << 8)
0937c48d 320#define KVM_ASSIGNED_DEV_HOST_MSI (1 << 9)
4f906c19 321 unsigned long irq_requested_type;
5550af4d 322 int irq_source_id;
b653574a 323 int flags;
62c476c7
BAY
324 struct pci_dev *dev;
325 struct kvm *kvm;
326};
75858a84
AK
327
328struct kvm_irq_mask_notifier {
329 void (*func)(struct kvm_irq_mask_notifier *kimn, bool masked);
330 int irq;
331 struct hlist_node link;
332};
333
334void kvm_register_irq_mask_notifier(struct kvm *kvm, int irq,
335 struct kvm_irq_mask_notifier *kimn);
336void kvm_unregister_irq_mask_notifier(struct kvm *kvm, int irq,
337 struct kvm_irq_mask_notifier *kimn);
338void kvm_fire_mask_notifiers(struct kvm *kvm, int irq, bool mask);
339
5550af4d 340void kvm_set_irq(struct kvm *kvm, int irq_source_id, int irq, int level);
3de42dc0
XZ
341void kvm_notify_acked_irq(struct kvm *kvm, unsigned gsi);
342void kvm_register_irq_ack_notifier(struct kvm *kvm,
343 struct kvm_irq_ack_notifier *kian);
e19e30ef 344void kvm_unregister_irq_ack_notifier(struct kvm_irq_ack_notifier *kian);
5550af4d
SY
345int kvm_request_irq_source_id(struct kvm *kvm);
346void kvm_free_irq_source_id(struct kvm *kvm, int irq_source_id);
62c476c7 347
19de40a8 348#ifdef CONFIG_IOMMU_API
62c476c7
BAY
349int kvm_iommu_map_pages(struct kvm *kvm, gfn_t base_gfn,
350 unsigned long npages);
260782bc 351int kvm_iommu_map_guest(struct kvm *kvm);
62c476c7 352int kvm_iommu_unmap_guest(struct kvm *kvm);
260782bc
WH
353int kvm_assign_device(struct kvm *kvm,
354 struct kvm_assigned_dev_kernel *assigned_dev);
0a920356
WH
355int kvm_deassign_device(struct kvm *kvm,
356 struct kvm_assigned_dev_kernel *assigned_dev);
19de40a8 357#else /* CONFIG_IOMMU_API */
62c476c7
BAY
358static inline int kvm_iommu_map_pages(struct kvm *kvm,
359 gfn_t base_gfn,
360 unsigned long npages)
361{
362 return 0;
363}
364
260782bc 365static inline int kvm_iommu_map_guest(struct kvm *kvm)
62c476c7
BAY
366{
367 return -ENODEV;
368}
369
370static inline int kvm_iommu_unmap_guest(struct kvm *kvm)
371{
372 return 0;
373}
260782bc
WH
374
375static inline int kvm_assign_device(struct kvm *kvm,
376 struct kvm_assigned_dev_kernel *assigned_dev)
377{
378 return 0;
379}
0a920356
WH
380
381static inline int kvm_deassign_device(struct kvm *kvm,
382 struct kvm_assigned_dev_kernel *assigned_dev)
383{
384 return 0;
385}
19de40a8 386#endif /* CONFIG_IOMMU_API */
62c476c7 387
d172fcd3
LV
388static inline void kvm_guest_enter(void)
389{
e56a7a28 390 account_system_vtime(current);
d172fcd3
LV
391 current->flags |= PF_VCPU;
392}
393
394static inline void kvm_guest_exit(void)
395{
e56a7a28 396 account_system_vtime(current);
d172fcd3
LV
397 current->flags &= ~PF_VCPU;
398}
399
6aa8b732
AK
400static inline int memslot_id(struct kvm *kvm, struct kvm_memory_slot *slot)
401{
402 return slot - kvm->memslots;
403}
404
1755fbcc
AK
405static inline gpa_t gfn_to_gpa(gfn_t gfn)
406{
407 return (gpa_t)gfn << PAGE_SHIFT;
408}
6aa8b732 409
62c476c7
BAY
410static inline hpa_t pfn_to_hpa(pfn_t pfn)
411{
412 return (hpa_t)pfn << PAGE_SHIFT;
413}
414
2f599714 415static inline void kvm_migrate_timers(struct kvm_vcpu *vcpu)
2f52d58c
AK
416{
417 set_bit(KVM_REQ_MIGRATE_TIMER, &vcpu->requests);
418}
419
ba1389b7
AK
420enum kvm_stat_kind {
421 KVM_STAT_VM,
422 KVM_STAT_VCPU,
423};
424
417bc304
HB
425struct kvm_stats_debugfs_item {
426 const char *name;
427 int offset;
ba1389b7 428 enum kvm_stat_kind kind;
417bc304
HB
429 struct dentry *dentry;
430};
431extern struct kvm_stats_debugfs_item debugfs_entries[];
76f7c879 432extern struct dentry *kvm_debugfs_dir;
d4c9ff2d 433
d98e6346
HB
434#define KVMTRACE_5D(evt, vcpu, d1, d2, d3, d4, d5, name) \
435 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
436 vcpu, 5, d1, d2, d3, d4, d5)
437#define KVMTRACE_4D(evt, vcpu, d1, d2, d3, d4, name) \
438 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
439 vcpu, 4, d1, d2, d3, d4, 0)
440#define KVMTRACE_3D(evt, vcpu, d1, d2, d3, name) \
441 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
442 vcpu, 3, d1, d2, d3, 0, 0)
443#define KVMTRACE_2D(evt, vcpu, d1, d2, name) \
444 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
445 vcpu, 2, d1, d2, 0, 0, 0)
446#define KVMTRACE_1D(evt, vcpu, d1, name) \
447 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
448 vcpu, 1, d1, 0, 0, 0, 0)
449#define KVMTRACE_0D(evt, vcpu, name) \
450 trace_mark(kvm_trace_##name, "%u %p %u %u %u %u %u %u", KVM_TRC_##evt, \
451 vcpu, 0, 0, 0, 0, 0, 0)
452
d4c9ff2d
FEL
453#ifdef CONFIG_KVM_TRACE
454int kvm_trace_ioctl(unsigned int ioctl, unsigned long arg);
455void kvm_trace_cleanup(void);
456#else
457static inline
458int kvm_trace_ioctl(unsigned int ioctl, unsigned long arg)
459{
460 return -EINVAL;
461}
462#define kvm_trace_cleanup() ((void)0)
463#endif
417bc304 464
e930bffe
AA
465#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
466static inline int mmu_notifier_retry(struct kvm_vcpu *vcpu, unsigned long mmu_seq)
467{
468 if (unlikely(vcpu->kvm->mmu_notifier_count))
469 return 1;
470 /*
471 * Both reads happen under the mmu_lock and both values are
472 * modified under mmu_lock, so there's no need of smb_rmb()
473 * here in between, otherwise mmu_notifier_count should be
474 * read before mmu_notifier_seq, see
475 * mmu_notifier_invalidate_range_end write side.
476 */
477 if (vcpu->kvm->mmu_notifier_seq != mmu_seq)
478 return 1;
479 return 0;
480}
481#endif
482
6aa8b732 483#endif