blob: 9fe7fefe76b1d3a53d6c87140f2ffc7693358b9f [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>
Sheng Yang0937c482008-11-24 14:32:53 +080018#include <linux/msi.h>
Jan Kiszkad89f5ef2010-11-09 17:02:49 +010019#include <linux/slab.h>
Alexey Dobriyane8edc6e2007-05-21 01:22:52 +040020#include <asm/signal.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080021
Avi Kivity6aa8b732006-12-10 02:21:36 -080022#include <linux/kvm.h>
Ingo Molnar102d8322007-02-19 14:37:47 +020023#include <linux/kvm_para.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080024
Avi Kivityedf88412007-12-16 11:02:48 +020025#include <linux/kvm_types.h>
Hollis Blanchardd77a39d92007-12-03 15:30:23 -060026
Avi Kivityedf88412007-12-16 11:02:48 +020027#include <asm/kvm_host.h>
Zhang Xiantaod657a982007-12-14 09:41:22 +080028
Avi Kivity6aa8b732006-12-10 02:21:36 -080029/*
Avi Kivityd9e368d2007-06-07 19:18:30 +030030 * vcpu->requests bit members
31 */
Avi Kivity3176bc32007-10-16 17:22:08 +020032#define KVM_REQ_TLB_FLUSH 0
Avi Kivity2f52d582008-01-16 12:49:30 +020033#define KVM_REQ_MIGRATE_TIMER 1
Avi Kivityb209749f2007-10-22 16:50:39 +020034#define KVM_REQ_REPORT_TPR_ACCESS 2
Marcelo Tosatti2e53d632008-02-20 14:47:24 -050035#define KVM_REQ_MMU_RELOAD 3
Joerg Roedel71c4dfa2008-02-26 16:49:16 +010036#define KVM_REQ_TRIPLE_FAULT 4
Marcelo Tosatti06e05642008-06-06 16:37:36 -030037#define KVM_REQ_PENDING_TIMER 5
Marcelo Tosattid7690172008-09-08 15:23:48 -030038#define KVM_REQ_UNHALT 6
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -030039#define KVM_REQ_MMU_SYNC 7
Zachary Amsden34c238a2010-09-18 14:38:14 -100040#define KVM_REQ_CLOCK_UPDATE 8
Marcelo Tosatti32f88402009-05-07 17:55:12 -030041#define KVM_REQ_KICK 9
Avi Kivity02daab22009-12-30 12:40:26 +020042#define KVM_REQ_DEACTIVATE_FPU 10
Avi Kivity3842d132010-07-27 12:30:24 +030043#define KVM_REQ_EVENT 11
Gleb Natapovaf585b92010-10-14 11:22:46 +020044#define KVM_REQ_APF_HALT 12
Avi Kivity6aa8b732006-12-10 02:21:36 -080045
Sheng Yang5550af42008-10-15 20:15:06 +080046#define KVM_USERSPACE_IRQ_SOURCE_ID 0
47
Michael S. Tsirkin6c474692009-06-29 22:24:26 +030048struct kvm;
Avi Kivity6aa8b732006-12-10 02:21:36 -080049struct kvm_vcpu;
Rusty Russellc16f8622007-07-30 21:12:19 +100050extern struct kmem_cache *kvm_vcpu_cache;
Avi Kivity6aa8b732006-12-10 02:21:36 -080051
Gregory Haskins2eeb2e92007-05-31 14:08:53 -040052/*
53 * It would be nice to use something smarter than a linear search, TBD...
54 * Thankfully we dont expect many devices to register (famous last words :),
55 * so until then it will suffice. At least its abstracted so we can change
56 * in one place.
57 */
58struct kvm_io_bus {
59 int dev_count;
Sridhar Samudralae80e2a62010-03-30 16:48:25 -070060#define NR_IOBUS_DEVS 200
Gregory Haskins2eeb2e92007-05-31 14:08:53 -040061 struct kvm_io_device *devs[NR_IOBUS_DEVS];
62};
63
Marcelo Tosattie93f8a02009-12-23 14:35:24 -020064enum kvm_bus {
65 KVM_MMIO_BUS,
66 KVM_PIO_BUS,
67 KVM_NR_BUSES
68};
69
70int kvm_io_bus_write(struct kvm *kvm, enum kvm_bus bus_idx, gpa_t addr,
71 int len, const void *val);
72int kvm_io_bus_read(struct kvm *kvm, enum kvm_bus bus_idx, gpa_t addr, int len,
Michael S. Tsirkinbda90202009-06-29 22:24:32 +030073 void *val);
Marcelo Tosattie93f8a02009-12-23 14:35:24 -020074int kvm_io_bus_register_dev(struct kvm *kvm, enum kvm_bus bus_idx,
Gregory Haskins090b7af2009-07-07 17:08:44 -040075 struct kvm_io_device *dev);
Marcelo Tosattie93f8a02009-12-23 14:35:24 -020076int kvm_io_bus_unregister_dev(struct kvm *kvm, enum kvm_bus bus_idx,
77 struct kvm_io_device *dev);
Gregory Haskins2eeb2e92007-05-31 14:08:53 -040078
Gleb Natapovaf585b92010-10-14 11:22:46 +020079#ifdef CONFIG_KVM_ASYNC_PF
80struct kvm_async_pf {
81 struct work_struct work;
82 struct list_head link;
83 struct list_head queue;
84 struct kvm_vcpu *vcpu;
85 struct mm_struct *mm;
86 gva_t gva;
87 unsigned long addr;
88 struct kvm_arch_async_pf arch;
89 struct page *page;
90 bool done;
91};
92
93void kvm_clear_async_pf_completion_queue(struct kvm_vcpu *vcpu);
94void kvm_check_async_pf_completion(struct kvm_vcpu *vcpu);
95int kvm_setup_async_pf(struct kvm_vcpu *vcpu, gva_t gva, gfn_t gfn,
96 struct kvm_arch_async_pf *arch);
Gleb Natapov344d9582010-10-14 11:22:50 +020097int kvm_async_pf_wakeup_all(struct kvm_vcpu *vcpu);
Gleb Natapovaf585b92010-10-14 11:22:46 +020098#endif
99
Zhang Xiantaod657a982007-12-14 09:41:22 +0800100struct kvm_vcpu {
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800101 struct kvm *kvm;
Hollis Blanchard31bb1172008-01-28 17:42:34 -0600102#ifdef CONFIG_PREEMPT_NOTIFIERS
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800103 struct preempt_notifier preempt_notifier;
Hollis Blanchard31bb1172008-01-28 17:42:34 -0600104#endif
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800105 int vcpu_id;
106 struct mutex mutex;
107 int cpu;
Avi Kivityd94e1dc2010-05-03 16:54:48 +0300108 atomic_t guest_mode;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800109 struct kvm_run *run;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800110 unsigned long requests;
Jan Kiszkad0bfb942008-12-15 13:52:10 +0100111 unsigned long guest_debug;
Marcelo Tosattif656ce02009-12-23 14:35:25 -0200112 int srcu_idx;
113
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800114 int fpu_active;
Dexuan Cui2acf9232010-06-10 11:27:12 +0800115 int guest_fpu_loaded, guest_xcr0_loaded;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800116 wait_queue_head_t wq;
117 int sigset_active;
118 sigset_t sigset;
119 struct kvm_vcpu_stat stat;
120
121#ifdef CONFIG_HAS_IOMEM
122 int mmio_needed;
123 int mmio_read_completed;
124 int mmio_is_write;
125 int mmio_size;
126 unsigned char mmio_data[8];
127 gpa_t mmio_phys_addr;
128#endif
Zhang Xiantaod657a982007-12-14 09:41:22 +0800129
Gleb Natapovaf585b92010-10-14 11:22:46 +0200130#ifdef CONFIG_KVM_ASYNC_PF
131 struct {
132 u32 queued;
133 struct list_head queue;
134 struct list_head done;
135 spinlock_t lock;
136 } async_pf;
137#endif
138
Zhang Xiantaod657a982007-12-14 09:41:22 +0800139 struct kvm_vcpu_arch arch;
140};
141
Takuya Yoshikawa660c22c2010-04-13 22:47:24 +0900142/*
143 * Some of the bitops functions do not support too long bitmaps.
144 * This number must be determined not to exceed such limits.
145 */
146#define KVM_MEM_MAX_NR_PAGES ((1UL << 31) - 1)
147
Avi Kivity6aa8b732006-12-10 02:21:36 -0800148struct kvm_memory_slot {
149 gfn_t base_gfn;
150 unsigned long npages;
151 unsigned long flags;
Izik Eidus290fc382007-09-27 14:11:22 +0200152 unsigned long *rmap;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800153 unsigned long *dirty_bitmap;
Takuya Yoshikawa515a0122010-10-27 18:23:54 +0900154 unsigned long *dirty_bitmap_head;
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300155 struct {
156 unsigned long rmap_pde;
157 int write_count;
Joerg Roedelec04b262009-06-19 15:16:23 +0200158 } *lpage_info[KVM_NR_PAGE_SIZES - 1];
Izik Eidus8a7ae052007-10-18 11:09:33 +0200159 unsigned long userspace_addr;
Izik Eidus80b14b52007-10-25 11:54:04 +0200160 int user_alloc;
Avi Kivitye36d96f2010-06-21 10:56:36 +0300161 int id;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800162};
163
Takuya Yoshikawa87bf6e72010-04-12 19:35:35 +0900164static inline unsigned long kvm_dirty_bitmap_bytes(struct kvm_memory_slot *memslot)
165{
166 return ALIGN(memslot->npages, BITS_PER_LONG) / 8;
167}
168
Avi Kivity399ec802008-11-19 13:58:46 +0200169struct kvm_kernel_irq_routing_entry {
170 u32 gsi;
Michael S. Tsirkin5116d8f2009-07-26 17:10:01 +0300171 u32 type;
Gleb Natapov49256632009-02-04 17:28:14 +0200172 int (*set)(struct kvm_kernel_irq_routing_entry *e,
Gleb Natapov1a6e4a82009-08-24 11:54:19 +0300173 struct kvm *kvm, int irq_source_id, int level);
Avi Kivity399ec802008-11-19 13:58:46 +0200174 union {
175 struct {
176 unsigned irqchip;
177 unsigned pin;
178 } irqchip;
Sheng Yang79950e12009-02-10 13:57:06 +0800179 struct msi_msg msi;
Avi Kivity399ec802008-11-19 13:58:46 +0200180 };
Gleb Natapov46e624b2009-08-24 11:54:20 +0300181 struct hlist_node link;
182};
183
Gleb Natapov3e71f882009-08-24 11:54:21 +0300184#ifdef __KVM_HAVE_IOAPIC
185
Gleb Natapov46e624b2009-08-24 11:54:20 +0300186struct kvm_irq_routing_table {
Gleb Natapov3e71f882009-08-24 11:54:21 +0300187 int chip[KVM_NR_IRQCHIPS][KVM_IOAPIC_NUM_PINS];
Gleb Natapov46e624b2009-08-24 11:54:20 +0300188 struct kvm_kernel_irq_routing_entry *rt_entries;
189 u32 nr_rt_entries;
190 /*
191 * Array indexed by gsi. Each entry contains list of irq chips
192 * the gsi is connected to.
193 */
194 struct hlist_head map[0];
Avi Kivity399ec802008-11-19 13:58:46 +0200195};
196
Gleb Natapov3e71f882009-08-24 11:54:21 +0300197#else
198
199struct kvm_irq_routing_table {};
200
201#endif
202
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200203struct kvm_memslots {
204 int nmemslots;
Gleb Natapov49c77542010-10-18 15:22:23 +0200205 u64 generation;
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200206 struct kvm_memory_slot memslots[KVM_MEMORY_SLOTS +
207 KVM_PRIVATE_MEM_SLOTS];
208};
209
Avi Kivity6aa8b732006-12-10 02:21:36 -0800210struct kvm {
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -0500211 spinlock_t mmu_lock;
Avi Kivity70e335e2010-02-18 11:25:22 +0200212 raw_spinlock_t requests_lock;
Marcelo Tosatti79fac952009-12-23 14:35:26 -0200213 struct mutex slots_lock;
Avi Kivity6d4e4c42007-11-21 16:41:05 +0200214 struct mm_struct *mm; /* userspace tied to this vm */
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200215 struct kvm_memslots *memslots;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200216 struct srcu_struct srcu;
Gleb Natapov73880c82009-06-09 15:56:28 +0300217#ifdef CONFIG_KVM_APIC_ARCHITECTURE
218 u32 bsp_vcpu_id;
Gleb Natapovc5af89b2009-06-09 15:56:26 +0300219 struct kvm_vcpu *bsp_vcpu;
Gleb Natapov73880c82009-06-09 15:56:28 +0300220#endif
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000221 struct kvm_vcpu *vcpus[KVM_MAX_VCPUS];
Gleb Natapov73880c82009-06-09 15:56:28 +0300222 atomic_t online_vcpus;
Avi Kivity133de902007-02-12 00:54:44 -0800223 struct list_head vm_list;
Marcelo Tosatti60eead72009-06-04 15:08:23 -0300224 struct mutex lock;
Marcelo Tosattie93f8a02009-12-23 14:35:24 -0200225 struct kvm_io_bus *buses[KVM_NR_BUSES];
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400226#ifdef CONFIG_HAVE_KVM_EVENTFD
227 struct {
228 spinlock_t lock;
229 struct list_head items;
230 } irqfds;
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400231 struct list_head ioeventfds;
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400232#endif
Avi Kivityba1389b2007-11-18 16:24:12 +0200233 struct kvm_vm_stat stat;
Zhang Xiantaod69fb812007-12-14 09:54:20 +0800234 struct kvm_arch arch;
Izik Eidusd39f13b2008-03-30 16:01:25 +0300235 atomic_t users_count;
Laurent Vivier5f94c172008-05-30 16:05:54 +0200236#ifdef KVM_COALESCED_MMIO_PAGE_OFFSET
237 struct kvm_coalesced_mmio_dev *coalesced_mmio_dev;
238 struct kvm_coalesced_mmio_ring *coalesced_mmio_ring;
239#endif
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200240
Marcelo Tosatti60eead72009-06-04 15:08:23 -0300241 struct mutex irq_lock;
Avi Kivity75858a82009-01-04 17:10:50 +0200242#ifdef CONFIG_HAVE_KVM_IRQCHIP
Arnd Bergmann4b6a2872010-03-04 15:59:23 +0100243 struct kvm_irq_routing_table __rcu *irq_routing;
Avi Kivity75858a82009-01-04 17:10:50 +0200244 struct hlist_head mask_notifier_list;
Gleb Natapov136bdfe2009-08-24 11:54:23 +0300245 struct hlist_head irq_ack_notifier_list;
Avi Kivity75858a82009-01-04 17:10:50 +0200246#endif
247
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200248#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
249 struct mmu_notifier mmu_notifier;
250 unsigned long mmu_notifier_seq;
251 long mmu_notifier_count;
252#endif
Avi Kivity6aa8b732006-12-10 02:21:36 -0800253};
254
Rusty Russellf0242472007-08-01 10:48:02 +1000255/* The guest did something we don't support. */
256#define pr_unimpl(vcpu, fmt, ...) \
257 do { \
258 if (printk_ratelimit()) \
259 printk(KERN_ERR "kvm: %i: cpu%i " fmt, \
260 current->tgid, (vcpu)->vcpu_id , ## __VA_ARGS__); \
Mike Dayd77c26f2007-10-08 09:02:08 -0400261 } while (0)
Rusty Russellf0242472007-08-01 10:48:02 +1000262
Avi Kivity6aa8b732006-12-10 02:21:36 -0800263#define kvm_printf(kvm, fmt ...) printk(KERN_DEBUG fmt)
264#define vcpu_printf(vcpu, fmt...) kvm_printf(vcpu->kvm, fmt)
265
Gleb Natapov988a2ca2009-06-09 15:56:29 +0300266static inline struct kvm_vcpu *kvm_get_vcpu(struct kvm *kvm, int i)
267{
268 smp_rmb();
269 return kvm->vcpus[i];
270}
271
272#define kvm_for_each_vcpu(idx, vcpup, kvm) \
273 for (idx = 0, vcpup = kvm_get_vcpu(kvm, idx); \
274 idx < atomic_read(&kvm->online_vcpus) && vcpup; \
275 vcpup = kvm_get_vcpu(kvm, ++idx))
276
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000277int kvm_vcpu_init(struct kvm_vcpu *vcpu, struct kvm *kvm, unsigned id);
278void kvm_vcpu_uninit(struct kvm_vcpu *vcpu);
279
Carsten Otte313a3dc2007-10-11 19:16:52 +0200280void vcpu_load(struct kvm_vcpu *vcpu);
281void vcpu_put(struct kvm_vcpu *vcpu);
282
Avi Kivity0ee75be2010-04-28 15:39:01 +0300283int kvm_init(void *opaque, unsigned vcpu_size, unsigned vcpu_align,
Rusty Russellc16f8622007-07-30 21:12:19 +1000284 struct module *module);
Zhang Xiantaocb498ea2007-11-14 20:39:31 +0800285void kvm_exit(void);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800286
Izik Eidusd39f13b2008-03-30 16:01:25 +0300287void kvm_get_kvm(struct kvm *kvm);
288void kvm_put_kvm(struct kvm *kvm);
289
Lai Jiangshan90d83dc2010-04-19 17:41:23 +0800290static inline struct kvm_memslots *kvm_memslots(struct kvm *kvm)
291{
292 return rcu_dereference_check(kvm->memslots,
293 srcu_read_lock_held(&kvm->srcu)
294 || lockdep_is_held(&kvm->slots_lock));
295}
296
Avi Kivity6aa8b732006-12-10 02:21:36 -0800297#define HPA_MSB ((sizeof(hpa_t) * 8) - 1)
298#define HPA_ERR_MASK ((hpa_t)1 << HPA_MSB)
299static inline int is_error_hpa(hpa_t hpa) { return hpa >> HPA_MSB; }
Avi Kivity6aa8b732006-12-10 02:21:36 -0800300
Izik Eiduscea7bb22007-10-17 19:17:48 +0200301extern struct page *bad_page;
Anthony Liguori35149e22008-04-02 14:46:56 -0500302extern pfn_t bad_pfn;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800303
Izik Eiduscea7bb22007-10-17 19:17:48 +0200304int is_error_page(struct page *page);
Anthony Liguori35149e22008-04-02 14:46:56 -0500305int is_error_pfn(pfn_t pfn);
Huang Yingbf998152010-05-31 14:28:19 +0800306int is_hwpoison_pfn(pfn_t pfn);
Gleb Natapovedba23e2010-07-07 20:16:45 +0300307int is_fault_pfn(pfn_t pfn);
Izik Eidusf9d46eb2007-11-11 22:02:22 +0200308int kvm_is_error_hva(unsigned long addr);
Izik Eidus210c7c42007-10-24 23:52:57 +0200309int kvm_set_memory_region(struct kvm *kvm,
310 struct kvm_userspace_memory_region *mem,
311 int user_alloc);
Sheng Yangf78e0e22007-10-29 09:40:42 +0800312int __kvm_set_memory_region(struct kvm *kvm,
313 struct kvm_userspace_memory_region *mem,
314 int user_alloc);
Marcelo Tosattif7784b82009-12-23 14:35:18 -0200315int kvm_arch_prepare_memory_region(struct kvm *kvm,
316 struct kvm_memory_slot *memslot,
317 struct kvm_memory_slot old,
318 struct kvm_userspace_memory_region *mem,
319 int user_alloc);
320void kvm_arch_commit_memory_region(struct kvm *kvm,
Zhang Xiantao0de10342007-11-20 16:25:04 +0800321 struct kvm_userspace_memory_region *mem,
322 struct kvm_memory_slot old,
323 int user_alloc);
Marcelo Tosatti54dee992009-06-11 12:07:44 -0300324void kvm_disable_largepages(void);
Marcelo Tosatti34d4cb82008-07-10 20:49:31 -0300325void kvm_arch_flush_shadow(struct kvm *kvm);
Marcelo Tosattia983fb22009-12-23 14:35:23 -0200326
Xiao Guangrong48987782010-08-22 19:11:43 +0800327int gfn_to_page_many_atomic(struct kvm *kvm, gfn_t gfn, struct page **pages,
328 int nr_pages);
329
Avi Kivity954bbbc2007-03-30 14:02:32 +0300330struct page *gfn_to_page(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300331unsigned long gfn_to_hva(struct kvm *kvm, gfn_t gfn);
Izik Eidusb4231d62007-11-20 11:49:33 +0200332void kvm_release_page_clean(struct page *page);
333void kvm_release_page_dirty(struct page *page);
Anthony Liguori35149e22008-04-02 14:46:56 -0500334void kvm_set_page_dirty(struct page *page);
335void kvm_set_page_accessed(struct page *page);
336
Xiao Guangrong887c08a2010-08-22 19:10:28 +0800337pfn_t hva_to_pfn_atomic(struct kvm *kvm, unsigned long addr);
Xiao Guangrong365fb3f2010-08-28 19:24:13 +0800338pfn_t gfn_to_pfn_atomic(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti612819c2010-10-22 14:18:18 -0200339pfn_t gfn_to_pfn_async(struct kvm *kvm, gfn_t gfn, bool *async,
340 bool write_fault, bool *writable);
Anthony Liguori35149e22008-04-02 14:46:56 -0500341pfn_t gfn_to_pfn(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti612819c2010-10-22 14:18:18 -0200342pfn_t gfn_to_pfn_prot(struct kvm *kvm, gfn_t gfn, bool write_fault,
343 bool *writable);
Marcelo Tosatti506f0d62009-12-23 14:35:19 -0200344pfn_t gfn_to_pfn_memslot(struct kvm *kvm,
345 struct kvm_memory_slot *slot, gfn_t gfn);
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200346int memslot_id(struct kvm *kvm, gfn_t gfn);
Anthony Liguori35149e22008-04-02 14:46:56 -0500347void kvm_release_pfn_dirty(pfn_t);
348void kvm_release_pfn_clean(pfn_t pfn);
349void kvm_set_pfn_dirty(pfn_t pfn);
350void kvm_set_pfn_accessed(pfn_t pfn);
351void kvm_get_pfn(pfn_t pfn);
352
Izik Eidus195aefd2007-10-01 22:14:18 +0200353int kvm_read_guest_page(struct kvm *kvm, gfn_t gfn, void *data, int offset,
354 int len);
Marcelo Tosatti7ec54582007-12-20 19:18:23 -0500355int kvm_read_guest_atomic(struct kvm *kvm, gpa_t gpa, void *data,
356 unsigned long len);
Izik Eidus195aefd2007-10-01 22:14:18 +0200357int kvm_read_guest(struct kvm *kvm, gpa_t gpa, void *data, unsigned long len);
358int kvm_write_guest_page(struct kvm *kvm, gfn_t gfn, const void *data,
359 int offset, int len);
360int kvm_write_guest(struct kvm *kvm, gpa_t gpa, const void *data,
361 unsigned long len);
Gleb Natapov49c77542010-10-18 15:22:23 +0200362int kvm_write_guest_cached(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
363 void *data, unsigned long len);
364int kvm_gfn_to_hva_cache_init(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
365 gpa_t gpa);
Izik Eidus195aefd2007-10-01 22:14:18 +0200366int kvm_clear_guest_page(struct kvm *kvm, gfn_t gfn, int offset, int len);
367int kvm_clear_guest(struct kvm *kvm, gpa_t gpa, unsigned long len);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800368struct kvm_memory_slot *gfn_to_memslot(struct kvm *kvm, gfn_t gfn);
Izik Eiduse0d62c72007-10-24 23:57:46 +0200369int kvm_is_visible_gfn(struct kvm *kvm, gfn_t gfn);
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100370unsigned long kvm_host_page_size(struct kvm *kvm, gfn_t gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800371void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
Gleb Natapov49c77542010-10-18 15:22:23 +0200372void mark_page_dirty_in_slot(struct kvm *kvm, struct kvm_memory_slot *memslot,
373 gfn_t gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800374
Hollis Blanchard8776e512007-10-31 17:24:24 -0500375void kvm_vcpu_block(struct kvm_vcpu *vcpu);
Zhai, Edwind255f4f2009-10-09 18:03:20 +0800376void kvm_vcpu_on_spin(struct kvm_vcpu *vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800377void kvm_resched(struct kvm_vcpu *vcpu);
Avi Kivity7702fd12007-06-14 16:27:40 +0300378void kvm_load_guest_fpu(struct kvm_vcpu *vcpu);
379void kvm_put_guest_fpu(struct kvm_vcpu *vcpu);
Avi Kivityd9e368d2007-06-07 19:18:30 +0300380void kvm_flush_remote_tlbs(struct kvm *kvm);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -0500381void kvm_reload_remote_mmus(struct kvm *kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800382
Carsten Otte043405e2007-10-10 17:16:19 +0200383long kvm_arch_dev_ioctl(struct file *filp,
384 unsigned int ioctl, unsigned long arg);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200385long kvm_arch_vcpu_ioctl(struct file *filp,
386 unsigned int ioctl, unsigned long arg);
Zhang Xiantao018d00d2007-11-15 23:07:47 +0800387
388int kvm_dev_ioctl_check_extension(long ext);
389
Zhang Xiantao5bb064d2007-11-18 20:29:43 +0800390int kvm_get_dirty_log(struct kvm *kvm,
391 struct kvm_dirty_log *log, int *is_dirty);
392int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm,
393 struct kvm_dirty_log *log);
394
Carsten Otte1fe779f2007-10-29 16:08:35 +0100395int kvm_vm_ioctl_set_memory_region(struct kvm *kvm,
396 struct
397 kvm_userspace_memory_region *mem,
398 int user_alloc);
399long kvm_arch_vm_ioctl(struct file *filp,
400 unsigned int ioctl, unsigned long arg);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200401
Hollis Blanchardd0752062007-10-31 17:24:25 -0500402int kvm_arch_vcpu_ioctl_get_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
403int kvm_arch_vcpu_ioctl_set_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
404
Zhang Xiantao8b006792007-11-16 13:05:55 +0800405int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
406 struct kvm_translation *tr);
407
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500408int kvm_arch_vcpu_ioctl_get_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
409int kvm_arch_vcpu_ioctl_set_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
410int kvm_arch_vcpu_ioctl_get_sregs(struct kvm_vcpu *vcpu,
411 struct kvm_sregs *sregs);
412int kvm_arch_vcpu_ioctl_set_sregs(struct kvm_vcpu *vcpu,
413 struct kvm_sregs *sregs);
Marcelo Tosatti62d9f0d2008-04-11 13:24:45 -0300414int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
415 struct kvm_mp_state *mp_state);
416int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
417 struct kvm_mp_state *mp_state);
Jan Kiszkad0bfb942008-12-15 13:52:10 +0100418int kvm_arch_vcpu_ioctl_set_guest_debug(struct kvm_vcpu *vcpu,
419 struct kvm_guest_debug *dbg);
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500420int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run);
421
Zhang Xiantaof8c16bb2007-11-14 20:40:21 +0800422int kvm_arch_init(void *opaque);
423void kvm_arch_exit(void);
Carsten Otte043405e2007-10-10 17:16:19 +0200424
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800425int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu);
426void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu);
427
428void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu);
429void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
430void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
431struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id);
Avi Kivity26e52152007-11-20 15:30:24 +0200432int kvm_arch_vcpu_setup(struct kvm_vcpu *vcpu);
Hollis Blanchardd40ccc62007-11-19 14:04:43 -0600433void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800434
435int kvm_arch_vcpu_reset(struct kvm_vcpu *vcpu);
Alexander Graf10474ae2009-09-15 11:37:46 +0200436int kvm_arch_hardware_enable(void *garbage);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800437void kvm_arch_hardware_disable(void *garbage);
438int kvm_arch_hardware_setup(void);
439void kvm_arch_hardware_unsetup(void);
440void kvm_arch_check_processor_compat(void *rtn);
Zhang Xiantao1d737c82007-12-14 09:35:10 +0800441int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800442
Zhang Xiantaod19a9cd2007-11-18 18:43:45 +0800443void kvm_free_physmem(struct kvm *kvm);
444
Jan Kiszkad89f5ef2010-11-09 17:02:49 +0100445#ifndef __KVM_HAVE_ARCH_VM_ALLOC
446static inline struct kvm *kvm_arch_alloc_vm(void)
447{
448 return kzalloc(sizeof(struct kvm), GFP_KERNEL);
449}
450
451static inline void kvm_arch_free_vm(struct kvm *kvm)
452{
453 kfree(kvm);
454}
455#endif
456
457int kvm_arch_init_vm(struct kvm *kvm);
Zhang Xiantaod19a9cd2007-11-18 18:43:45 +0800458void kvm_arch_destroy_vm(struct kvm *kvm);
Xiantao Zhang8a98f662008-10-06 13:47:38 +0800459void kvm_free_all_assigned_devices(struct kvm *kvm);
Sheng Yangad8ba2c2009-01-06 10:03:02 +0800460void kvm_arch_sync_events(struct kvm *kvm);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800461
Marcelo Tosatti3d808402008-04-11 14:53:26 -0300462int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu);
Zhang Xiantao57361992007-12-17 14:21:40 +0800463void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
Zhang Xiantao682c59a2007-12-11 20:36:00 +0800464
Xiantao Zhangc77fb9d2008-09-27 10:55:40 +0800465int kvm_is_mmio_pfn(pfn_t pfn);
466
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300467struct kvm_irq_ack_notifier {
468 struct hlist_node link;
469 unsigned gsi;
470 void (*irq_acked)(struct kvm_irq_ack_notifier *kian);
471};
472
473struct kvm_assigned_dev_kernel {
474 struct kvm_irq_ack_notifier ack_notifier;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300475 struct list_head list;
476 int assigned_dev_id;
Zhai, Edwinab9f4ec2010-01-29 14:38:44 +0800477 int host_segnr;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300478 int host_busnr;
479 int host_devfn;
Sheng Yangc1e01512009-02-25 17:22:26 +0800480 unsigned int entries_nr;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300481 int host_irq;
Mark McLoughlindefaf152008-12-02 12:16:33 +0000482 bool host_irq_disabled;
Sheng Yangc1e01512009-02-25 17:22:26 +0800483 struct msix_entry *host_msix_entries;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300484 int guest_irq;
Jan Kiszka0645211c2010-11-16 22:30:03 +0100485 struct msix_entry *guest_msix_entries;
Sheng Yang4f906c12008-11-24 14:32:51 +0800486 unsigned long irq_requested_type;
Sheng Yang5550af42008-10-15 20:15:06 +0800487 int irq_source_id;
Weidong Hanb6535742008-12-08 23:29:53 +0800488 int flags;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300489 struct pci_dev *dev;
490 struct kvm *kvm;
Jan Kiszka0645211c2010-11-16 22:30:03 +0100491 spinlock_t intx_lock;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300492};
Avi Kivity75858a82009-01-04 17:10:50 +0200493
494struct kvm_irq_mask_notifier {
495 void (*func)(struct kvm_irq_mask_notifier *kimn, bool masked);
496 int irq;
497 struct hlist_node link;
498};
499
500void kvm_register_irq_mask_notifier(struct kvm *kvm, int irq,
501 struct kvm_irq_mask_notifier *kimn);
502void kvm_unregister_irq_mask_notifier(struct kvm *kvm, int irq,
503 struct kvm_irq_mask_notifier *kimn);
Gleb Natapov4a994352010-07-11 15:32:23 +0300504void kvm_fire_mask_notifiers(struct kvm *kvm, unsigned irqchip, unsigned pin,
505 bool mask);
Avi Kivity75858a82009-01-04 17:10:50 +0200506
Gleb Natapov46e624b2009-08-24 11:54:20 +0300507#ifdef __KVM_HAVE_IOAPIC
508void kvm_get_intr_delivery_bitmask(struct kvm_ioapic *ioapic,
509 union kvm_ioapic_redirect_entry *entry,
510 unsigned long *deliver_bitmask);
511#endif
512int kvm_set_irq(struct kvm *kvm, int irq_source_id, u32 irq, int level);
Marcelo Tosatti44882ee2009-01-27 15:12:38 -0200513void kvm_notify_acked_irq(struct kvm *kvm, unsigned irqchip, unsigned pin);
Xiantao Zhang3de42dc2008-10-06 13:48:45 +0800514void kvm_register_irq_ack_notifier(struct kvm *kvm,
515 struct kvm_irq_ack_notifier *kian);
Marcelo Tosattifa40a822009-06-04 15:08:24 -0300516void kvm_unregister_irq_ack_notifier(struct kvm *kvm,
517 struct kvm_irq_ack_notifier *kian);
Sheng Yang5550af42008-10-15 20:15:06 +0800518int kvm_request_irq_source_id(struct kvm *kvm);
519void kvm_free_irq_source_id(struct kvm *kvm, int irq_source_id);
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300520
Sheng Yang522c68c2009-04-27 20:35:43 +0800521/* For vcpu->arch.iommu_flags */
522#define KVM_IOMMU_CACHE_COHERENCY 0x1
523
Joerg Roedel19de40a2008-12-03 14:43:34 +0100524#ifdef CONFIG_IOMMU_API
Marcelo Tosatti3ad26d82009-12-23 14:35:20 -0200525int kvm_iommu_map_pages(struct kvm *kvm, struct kvm_memory_slot *slot);
Weidong Han260782b2008-12-02 21:03:39 +0800526int kvm_iommu_map_guest(struct kvm *kvm);
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300527int kvm_iommu_unmap_guest(struct kvm *kvm);
Weidong Han260782b2008-12-02 21:03:39 +0800528int kvm_assign_device(struct kvm *kvm,
529 struct kvm_assigned_dev_kernel *assigned_dev);
Weidong Han0a920352008-12-02 21:24:23 +0800530int kvm_deassign_device(struct kvm *kvm,
531 struct kvm_assigned_dev_kernel *assigned_dev);
Joerg Roedel19de40a2008-12-03 14:43:34 +0100532#else /* CONFIG_IOMMU_API */
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300533static inline int kvm_iommu_map_pages(struct kvm *kvm,
Jan Kiszkad7a79b62010-10-14 13:59:04 +0200534 struct kvm_memory_slot *slot)
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300535{
536 return 0;
537}
538
Weidong Han260782b2008-12-02 21:03:39 +0800539static inline int kvm_iommu_map_guest(struct kvm *kvm)
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300540{
541 return -ENODEV;
542}
543
544static inline int kvm_iommu_unmap_guest(struct kvm *kvm)
545{
546 return 0;
547}
Weidong Han260782b2008-12-02 21:03:39 +0800548
549static inline int kvm_assign_device(struct kvm *kvm,
550 struct kvm_assigned_dev_kernel *assigned_dev)
551{
552 return 0;
553}
Weidong Han0a920352008-12-02 21:24:23 +0800554
555static inline int kvm_deassign_device(struct kvm *kvm,
556 struct kvm_assigned_dev_kernel *assigned_dev)
557{
558 return 0;
559}
Joerg Roedel19de40a2008-12-03 14:43:34 +0100560#endif /* CONFIG_IOMMU_API */
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300561
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200562static inline void kvm_guest_enter(void)
563{
Christian Borntraegere56a7a22007-10-18 14:39:10 +0200564 account_system_vtime(current);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200565 current->flags |= PF_VCPU;
566}
567
568static inline void kvm_guest_exit(void)
569{
Christian Borntraegere56a7a22007-10-18 14:39:10 +0200570 account_system_vtime(current);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200571 current->flags &= ~PF_VCPU;
572}
573
Xiao Guangrong887c08a2010-08-22 19:10:28 +0800574static inline unsigned long gfn_to_hva_memslot(struct kvm_memory_slot *slot,
575 gfn_t gfn)
576{
577 return slot->userspace_addr + (gfn - slot->base_gfn) * PAGE_SIZE;
578}
579
Avi Kivity1755fbc2007-11-21 14:44:45 +0200580static inline gpa_t gfn_to_gpa(gfn_t gfn)
581{
582 return (gpa_t)gfn << PAGE_SHIFT;
583}
Avi Kivity6aa8b732006-12-10 02:21:36 -0800584
Joerg Roedelc30a3582010-09-10 17:30:48 +0200585static inline gfn_t gpa_to_gfn(gpa_t gpa)
586{
587 return (gfn_t)(gpa >> PAGE_SHIFT);
588}
589
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300590static inline hpa_t pfn_to_hpa(pfn_t pfn)
591{
592 return (hpa_t)pfn << PAGE_SHIFT;
593}
594
Marcelo Tosatti2f599712008-05-27 12:10:20 -0300595static inline void kvm_migrate_timers(struct kvm_vcpu *vcpu)
Avi Kivity2f52d582008-01-16 12:49:30 +0200596{
597 set_bit(KVM_REQ_MIGRATE_TIMER, &vcpu->requests);
598}
599
Avi Kivityba1389b2007-11-18 16:24:12 +0200600enum kvm_stat_kind {
601 KVM_STAT_VM,
602 KVM_STAT_VCPU,
603};
604
Hollis Blanchard417bc302007-10-31 17:24:23 -0500605struct kvm_stats_debugfs_item {
606 const char *name;
607 int offset;
Avi Kivityba1389b2007-11-18 16:24:12 +0200608 enum kvm_stat_kind kind;
Hollis Blanchard417bc302007-10-31 17:24:23 -0500609 struct dentry *dentry;
610};
611extern struct kvm_stats_debugfs_item debugfs_entries[];
Hollis Blanchard76f7c872008-04-15 16:05:42 -0500612extern struct dentry *kvm_debugfs_dir;
Feng(Eric) Liud4c9ff22008-04-10 08:47:53 -0400613
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200614#ifdef KVM_ARCH_WANT_MMU_NOTIFIER
615static inline int mmu_notifier_retry(struct kvm_vcpu *vcpu, unsigned long mmu_seq)
616{
617 if (unlikely(vcpu->kvm->mmu_notifier_count))
618 return 1;
619 /*
620 * Both reads happen under the mmu_lock and both values are
621 * modified under mmu_lock, so there's no need of smb_rmb()
622 * here in between, otherwise mmu_notifier_count should be
623 * read before mmu_notifier_seq, see
624 * mmu_notifier_invalidate_range_end write side.
625 */
626 if (vcpu->kvm->mmu_notifier_seq != mmu_seq)
627 return 1;
628 return 0;
629}
630#endif
631
Avi Kivity399ec802008-11-19 13:58:46 +0200632#ifdef CONFIG_HAVE_KVM_IRQCHIP
633
634#define KVM_MAX_IRQ_ROUTES 1024
635
636int kvm_setup_default_irq_routing(struct kvm *kvm);
637int kvm_set_irq_routing(struct kvm *kvm,
638 const struct kvm_irq_routing_entry *entries,
639 unsigned nr,
640 unsigned flags);
641void kvm_free_irq_routing(struct kvm *kvm);
642
643#else
644
645static inline void kvm_free_irq_routing(struct kvm *kvm) {}
646
647#endif
648
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400649#ifdef CONFIG_HAVE_KVM_EVENTFD
650
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400651void kvm_eventfd_init(struct kvm *kvm);
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400652int kvm_irqfd(struct kvm *kvm, int fd, int gsi, int flags);
653void kvm_irqfd_release(struct kvm *kvm);
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400654int kvm_ioeventfd(struct kvm *kvm, struct kvm_ioeventfd *args);
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400655
656#else
657
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400658static inline void kvm_eventfd_init(struct kvm *kvm) {}
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400659static inline int kvm_irqfd(struct kvm *kvm, int fd, int gsi, int flags)
660{
661 return -EINVAL;
662}
663
664static inline void kvm_irqfd_release(struct kvm *kvm) {}
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400665static inline int kvm_ioeventfd(struct kvm *kvm, struct kvm_ioeventfd *args)
666{
667 return -ENOSYS;
668}
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400669
670#endif /* CONFIG_HAVE_KVM_EVENTFD */
671
Gleb Natapov73880c82009-06-09 15:56:28 +0300672#ifdef CONFIG_KVM_APIC_ARCHITECTURE
Gleb Natapovc5af89b2009-06-09 15:56:26 +0300673static inline bool kvm_vcpu_is_bsp(struct kvm_vcpu *vcpu)
674{
Marcelo Tosattid3efc8e2009-06-17 10:07:59 -0300675 return vcpu->kvm->bsp_vcpu_id == vcpu->vcpu_id;
Gleb Natapovc5af89b2009-06-09 15:56:26 +0300676}
Avi Kivity6aa8b732006-12-10 02:21:36 -0800677#endif
Avi Kivitybfd99ff2009-08-26 14:57:50 +0300678
679#ifdef __KVM_HAVE_DEVICE_ASSIGNMENT
680
681long kvm_vm_ioctl_assigned_device(struct kvm *kvm, unsigned ioctl,
682 unsigned long arg);
683
684#else
685
686static inline long kvm_vm_ioctl_assigned_device(struct kvm *kvm, unsigned ioctl,
687 unsigned long arg)
688{
689 return -ENOTTY;
690}
691
Gleb Natapov73880c82009-06-09 15:56:28 +0300692#endif
Avi Kivitybfd99ff2009-08-26 14:57:50 +0300693
Avi Kivitya8eeb042010-05-10 12:34:53 +0300694static inline void kvm_make_request(int req, struct kvm_vcpu *vcpu)
695{
696 set_bit(req, &vcpu->requests);
697}
698
699static inline bool kvm_make_check_request(int req, struct kvm_vcpu *vcpu)
700{
701 return test_and_set_bit(req, &vcpu->requests);
702}
703
704static inline bool kvm_check_request(int req, struct kvm_vcpu *vcpu)
705{
Avi Kivity07198372010-05-10 13:08:26 +0300706 if (test_bit(req, &vcpu->requests)) {
707 clear_bit(req, &vcpu->requests);
708 return true;
709 } else {
710 return false;
711 }
Avi Kivitya8eeb042010-05-10 12:34:53 +0300712}
713
Avi Kivitybfd99ff2009-08-26 14:57:50 +0300714#endif
715