blob: c13958251927d6c122c32795c712e8f994c29109 [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>
Paul Gortmaker187f1882011-11-23 20:12:59 -050016#include <linux/bug.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080017#include <linux/mm.h>
Eric B Munsonb297e672011-10-10 11:46:15 -040018#include <linux/mmu_notifier.h>
Avi Kivity15ad7142007-07-11 18:17:21 +030019#include <linux/preempt.h>
Sheng Yang0937c482008-11-24 14:32:53 +080020#include <linux/msi.h>
Jan Kiszkad89f5ef2010-11-09 17:02:49 +010021#include <linux/slab.h>
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +020022#include <linux/rcupdate.h>
Jan Kiszkabd801582011-09-12 11:26:22 +020023#include <linux/ratelimit.h>
Xiao Guangrong83f09222012-08-03 15:39:59 +080024#include <linux/err.h>
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +010025#include <linux/irqflags.h>
Alexey Dobriyane8edc6e2007-05-21 01:22:52 +040026#include <asm/signal.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080027
Avi Kivity6aa8b732006-12-10 02:21:36 -080028#include <linux/kvm.h>
Ingo Molnar102d8322007-02-19 14:37:47 +020029#include <linux/kvm_para.h>
Avi Kivity6aa8b732006-12-10 02:21:36 -080030
Avi Kivityedf88412007-12-16 11:02:48 +020031#include <linux/kvm_types.h>
Hollis Blanchardd77a39d92007-12-03 15:30:23 -060032
Avi Kivityedf88412007-12-16 11:02:48 +020033#include <asm/kvm_host.h>
Zhang Xiantaod657a982007-12-14 09:41:22 +080034
Avi Kivitycef4dea2010-01-20 12:01:20 +020035#ifndef KVM_MMIO_SIZE
36#define KVM_MMIO_SIZE 8
37#endif
38
Avi Kivity6aa8b732006-12-10 02:21:36 -080039/*
Xiao Guangrong67b29202012-08-21 10:58:45 +080040 * The bit 16 ~ bit 31 of kvm_memory_region::flags are internally used
41 * in kvm, other bits are visible for userspace which are defined in
42 * include/linux/kvm_h.
43 */
44#define KVM_MEMSLOT_INVALID (1UL << 16)
45
Xiao Guangrong87da7e62012-10-24 14:07:59 +080046/* Two fragments for cross MMIO pages. */
47#define KVM_MAX_MMIO_FRAGMENTS 2
Avi Kivityf78146b2012-04-18 19:22:47 +030048
49/*
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080050 * For the normal pfn, the highest 12 bits should be zero,
Xiao Guangrong81c52c52012-10-16 20:10:59 +080051 * so we can mask bit 62 ~ bit 52 to indicate the error pfn,
52 * mask bit 63 to indicate the noslot pfn.
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080053 */
Xiao Guangrong81c52c52012-10-16 20:10:59 +080054#define KVM_PFN_ERR_MASK (0x7ffULL << 52)
55#define KVM_PFN_ERR_NOSLOT_MASK (0xfffULL << 52)
56#define KVM_PFN_NOSLOT (0x1ULL << 63)
Xiao Guangrong6c8ee572012-08-03 15:37:54 +080057
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080058#define KVM_PFN_ERR_FAULT (KVM_PFN_ERR_MASK)
59#define KVM_PFN_ERR_HWPOISON (KVM_PFN_ERR_MASK + 1)
Xiao Guangrong81c52c52012-10-16 20:10:59 +080060#define KVM_PFN_ERR_RO_FAULT (KVM_PFN_ERR_MASK + 2)
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080061
Xiao Guangrong81c52c52012-10-16 20:10:59 +080062/*
63 * error pfns indicate that the gfn is in slot but faild to
64 * translate it to pfn on host.
65 */
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080066static inline bool is_error_pfn(pfn_t pfn)
Xiao Guangrong83f09222012-08-03 15:39:59 +080067{
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080068 return !!(pfn & KVM_PFN_ERR_MASK);
Xiao Guangrong83f09222012-08-03 15:39:59 +080069}
70
Xiao Guangrong81c52c52012-10-16 20:10:59 +080071/*
72 * error_noslot pfns indicate that the gfn can not be
73 * translated to pfn - it is not in slot or failed to
74 * translate it to pfn.
75 */
76static inline bool is_error_noslot_pfn(pfn_t pfn)
Xiao Guangrong83f09222012-08-03 15:39:59 +080077{
Xiao Guangrong81c52c52012-10-16 20:10:59 +080078 return !!(pfn & KVM_PFN_ERR_NOSLOT_MASK);
Xiao Guangrong83f09222012-08-03 15:39:59 +080079}
80
Xiao Guangrong81c52c52012-10-16 20:10:59 +080081/* noslot pfn indicates that the gfn is not in slot. */
82static inline bool is_noslot_pfn(pfn_t pfn)
Xiao Guangrong83f09222012-08-03 15:39:59 +080083{
Xiao Guangrong81c52c52012-10-16 20:10:59 +080084 return pfn == KVM_PFN_NOSLOT;
Xiao Guangrong83f09222012-08-03 15:39:59 +080085}
86
Xiao Guangrong7068d092012-08-21 11:02:22 +080087#define KVM_HVA_ERR_BAD (PAGE_OFFSET)
88#define KVM_HVA_ERR_RO_BAD (PAGE_OFFSET + PAGE_SIZE)
Xiao Guangrongca3a4902012-08-21 11:01:50 +080089
90static inline bool kvm_is_error_hva(unsigned long addr)
91{
Xiao Guangrong7068d092012-08-21 11:02:22 +080092 return addr >= PAGE_OFFSET;
Xiao Guangrongca3a4902012-08-21 11:01:50 +080093}
94
Xiao Guangrong6cede2e2012-08-03 15:41:22 +080095#define KVM_ERR_PTR_BAD_PAGE (ERR_PTR(-ENOENT))
96
Xiao Guangrong9c5b1172012-08-03 15:43:51 +080097static inline bool is_error_page(struct page *page)
Xiao Guangrong6cede2e2012-08-03 15:41:22 +080098{
99 return IS_ERR(page);
100}
101
Avi Kivity6aa8b732006-12-10 02:21:36 -0800102/*
Avi Kivityd9e368d2007-06-07 19:18:30 +0300103 * vcpu->requests bit members
104 */
Avi Kivity3176bc32007-10-16 17:22:08 +0200105#define KVM_REQ_TLB_FLUSH 0
Avi Kivity2f52d582008-01-16 12:49:30 +0200106#define KVM_REQ_MIGRATE_TIMER 1
Avi Kivityb209749f2007-10-22 16:50:39 +0200107#define KVM_REQ_REPORT_TPR_ACCESS 2
Marcelo Tosatti2e53d632008-02-20 14:47:24 -0500108#define KVM_REQ_MMU_RELOAD 3
Joerg Roedel71c4dfa2008-02-26 16:49:16 +0100109#define KVM_REQ_TRIPLE_FAULT 4
Marcelo Tosatti06e05642008-06-06 16:37:36 -0300110#define KVM_REQ_PENDING_TIMER 5
Marcelo Tosattid7690172008-09-08 15:23:48 -0300111#define KVM_REQ_UNHALT 6
Marcelo Tosatti4731d4c2008-09-23 13:18:39 -0300112#define KVM_REQ_MMU_SYNC 7
Zachary Amsden34c238a2010-09-18 14:38:14 -1000113#define KVM_REQ_CLOCK_UPDATE 8
Marcelo Tosatti32f88402009-05-07 17:55:12 -0300114#define KVM_REQ_KICK 9
Avi Kivity02daab22009-12-30 12:40:26 +0200115#define KVM_REQ_DEACTIVATE_FPU 10
Avi Kivity3842d132010-07-27 12:30:24 +0300116#define KVM_REQ_EVENT 11
Gleb Natapovaf585b92010-10-14 11:22:46 +0200117#define KVM_REQ_APF_HALT 12
Glauber Costac9aaa892011-07-11 15:28:14 -0400118#define KVM_REQ_STEAL_UPDATE 13
Avi Kivity7460fb4a2011-09-20 13:43:14 +0300119#define KVM_REQ_NMI 14
Nadav Har'Eld6185f22011-09-22 13:52:56 +0300120#define KVM_REQ_IMMEDIATE_EXIT 15
Gleb Natapovf5132b02011-11-10 14:57:22 +0200121#define KVM_REQ_PMU 16
122#define KVM_REQ_PMI 17
Bharat Bhushanf61c94b2012-08-08 20:38:19 +0000123#define KVM_REQ_WATCHDOG 18
Marcelo Tosattid8281992012-11-27 23:29:01 -0200124#define KVM_REQ_MASTERCLOCK_UPDATE 19
125#define KVM_REQ_MCLOCK_INPROGRESS 20
Alexander Graf1c810632013-01-04 18:12:48 +0100126#define KVM_REQ_EPR_EXIT 21
Yang Zhangc7c9c562013-01-25 10:18:51 +0800127#define KVM_REQ_EOIBITMAP 22
Avi Kivity6aa8b732006-12-10 02:21:36 -0800128
Alex Williamson7a844282012-09-21 11:58:03 -0600129#define KVM_USERSPACE_IRQ_SOURCE_ID 0
130#define KVM_IRQFD_RESAMPLE_IRQ_SOURCE_ID 1
Sheng Yang5550af42008-10-15 20:15:06 +0800131
Michael S. Tsirkin6c474692009-06-29 22:24:26 +0300132struct kvm;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800133struct kvm_vcpu;
Rusty Russellc16f8622007-07-30 21:12:19 +1000134extern struct kmem_cache *kvm_vcpu_cache;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800135
Sasha Levin743eeb02011-07-27 16:00:48 +0300136struct kvm_io_range {
137 gpa_t addr;
138 int len;
139 struct kvm_io_device *dev;
140};
141
Amos Kong786a9f82012-03-09 12:17:40 +0800142#define NR_IOBUS_DEVS 1000
Amos Konga13007162012-03-09 12:17:32 +0800143
Gregory Haskins2eeb2e92007-05-31 14:08:53 -0400144struct kvm_io_bus {
145 int dev_count;
Amos Konga13007162012-03-09 12:17:32 +0800146 struct kvm_io_range range[];
Gregory Haskins2eeb2e92007-05-31 14:08:53 -0400147};
148
Marcelo Tosattie93f8a02009-12-23 14:35:24 -0200149enum kvm_bus {
150 KVM_MMIO_BUS,
151 KVM_PIO_BUS,
152 KVM_NR_BUSES
153};
154
155int kvm_io_bus_write(struct kvm *kvm, enum kvm_bus bus_idx, gpa_t addr,
156 int len, const void *val);
157int 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 +0300158 void *val);
Sasha Levin743eeb02011-07-27 16:00:48 +0300159int kvm_io_bus_register_dev(struct kvm *kvm, enum kvm_bus bus_idx, gpa_t addr,
160 int len, struct kvm_io_device *dev);
Marcelo Tosattie93f8a02009-12-23 14:35:24 -0200161int kvm_io_bus_unregister_dev(struct kvm *kvm, enum kvm_bus bus_idx,
162 struct kvm_io_device *dev);
Gregory Haskins2eeb2e92007-05-31 14:08:53 -0400163
Gleb Natapovaf585b92010-10-14 11:22:46 +0200164#ifdef CONFIG_KVM_ASYNC_PF
165struct kvm_async_pf {
166 struct work_struct work;
167 struct list_head link;
168 struct list_head queue;
169 struct kvm_vcpu *vcpu;
170 struct mm_struct *mm;
171 gva_t gva;
172 unsigned long addr;
173 struct kvm_arch_async_pf arch;
174 struct page *page;
175 bool done;
176};
177
178void kvm_clear_async_pf_completion_queue(struct kvm_vcpu *vcpu);
179void kvm_check_async_pf_completion(struct kvm_vcpu *vcpu);
180int kvm_setup_async_pf(struct kvm_vcpu *vcpu, gva_t gva, gfn_t gfn,
181 struct kvm_arch_async_pf *arch);
Gleb Natapov344d9582010-10-14 11:22:50 +0200182int kvm_async_pf_wakeup_all(struct kvm_vcpu *vcpu);
Gleb Natapovaf585b92010-10-14 11:22:46 +0200183#endif
184
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800185enum {
186 OUTSIDE_GUEST_MODE,
187 IN_GUEST_MODE,
Avi Kivityc1427862012-05-14 15:44:06 +0300188 EXITING_GUEST_MODE,
189 READING_SHADOW_PAGE_TABLES,
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800190};
191
Avi Kivityf78146b2012-04-18 19:22:47 +0300192/*
193 * Sometimes a large or cross-page mmio needs to be broken up into separate
194 * exits for userspace servicing.
195 */
196struct kvm_mmio_fragment {
197 gpa_t gpa;
198 void *data;
199 unsigned len;
200};
201
Zhang Xiantaod657a982007-12-14 09:41:22 +0800202struct kvm_vcpu {
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800203 struct kvm *kvm;
Hollis Blanchard31bb1172008-01-28 17:42:34 -0600204#ifdef CONFIG_PREEMPT_NOTIFIERS
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800205 struct preempt_notifier preempt_notifier;
Hollis Blanchard31bb1172008-01-28 17:42:34 -0600206#endif
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800207 int cpu;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800208 int vcpu_id;
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800209 int srcu_idx;
210 int mode;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800211 unsigned long requests;
Jan Kiszkad0bfb942008-12-15 13:52:10 +0100212 unsigned long guest_debug;
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800213
214 struct mutex mutex;
215 struct kvm_run *run;
Marcelo Tosattif656ce02009-12-23 14:35:25 -0200216
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800217 int fpu_active;
Dexuan Cui2acf9232010-06-10 11:27:12 +0800218 int guest_fpu_loaded, guest_xcr0_loaded;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800219 wait_queue_head_t wq;
Rik van Riel34bb10b2011-02-01 09:52:41 -0500220 struct pid *pid;
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800221 int sigset_active;
222 sigset_t sigset;
223 struct kvm_vcpu_stat stat;
224
225#ifdef CONFIG_HAS_IOMEM
226 int mmio_needed;
227 int mmio_read_completed;
228 int mmio_is_write;
Avi Kivityf78146b2012-04-18 19:22:47 +0300229 int mmio_cur_fragment;
230 int mmio_nr_fragments;
231 struct kvm_mmio_fragment mmio_fragments[KVM_MAX_MMIO_FRAGMENTS];
Zhang Xiantaod17fbbf2007-12-14 09:45:31 +0800232#endif
Zhang Xiantaod657a982007-12-14 09:41:22 +0800233
Gleb Natapovaf585b92010-10-14 11:22:46 +0200234#ifdef CONFIG_KVM_ASYNC_PF
235 struct {
236 u32 queued;
237 struct list_head queue;
238 struct list_head done;
239 spinlock_t lock;
240 } async_pf;
241#endif
242
Raghavendra K T4c088492012-07-18 19:07:46 +0530243#ifdef CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT
244 /*
245 * Cpu relax intercept or pause loop exit optimization
246 * in_spin_loop: set when a vcpu does a pause loop exit
247 * or cpu relax intercepted.
248 * dy_eligible: indicates whether vcpu is eligible for directed yield.
249 */
250 struct {
251 bool in_spin_loop;
252 bool dy_eligible;
253 } spin_loop;
254#endif
Zhang Xiantaod657a982007-12-14 09:41:22 +0800255 struct kvm_vcpu_arch arch;
256};
257
Xiao Guangrong6b7e2d02011-01-12 15:40:31 +0800258static inline int kvm_vcpu_exiting_guest_mode(struct kvm_vcpu *vcpu)
259{
260 return cmpxchg(&vcpu->mode, IN_GUEST_MODE, EXITING_GUEST_MODE);
261}
262
Takuya Yoshikawa660c22c2010-04-13 22:47:24 +0900263/*
264 * Some of the bitops functions do not support too long bitmaps.
265 * This number must be determined not to exceed such limits.
266 */
267#define KVM_MEM_MAX_NR_PAGES ((1UL << 31) - 1)
268
Avi Kivity6aa8b732006-12-10 02:21:36 -0800269struct kvm_memory_slot {
270 gfn_t base_gfn;
271 unsigned long npages;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800272 unsigned long *dirty_bitmap;
Takuya Yoshikawadb3fe4e2012-02-08 13:02:18 +0900273 struct kvm_arch_memory_slot arch;
Izik Eidus8a7ae052007-10-18 11:09:33 +0200274 unsigned long userspace_addr;
Alex Williamson6104f472012-12-10 10:33:26 -0700275 u32 flags;
Alex Williamson1e702d92012-12-10 10:33:32 -0700276 short id;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800277};
278
Takuya Yoshikawa87bf6e72010-04-12 19:35:35 +0900279static inline unsigned long kvm_dirty_bitmap_bytes(struct kvm_memory_slot *memslot)
280{
281 return ALIGN(memslot->npages, BITS_PER_LONG) / 8;
282}
283
Avi Kivity399ec802008-11-19 13:58:46 +0200284struct kvm_kernel_irq_routing_entry {
285 u32 gsi;
Michael S. Tsirkin5116d8f2009-07-26 17:10:01 +0300286 u32 type;
Gleb Natapov49256632009-02-04 17:28:14 +0200287 int (*set)(struct kvm_kernel_irq_routing_entry *e,
Gleb Natapov1a6e4a82009-08-24 11:54:19 +0300288 struct kvm *kvm, int irq_source_id, int level);
Avi Kivity399ec802008-11-19 13:58:46 +0200289 union {
290 struct {
291 unsigned irqchip;
292 unsigned pin;
293 } irqchip;
Sheng Yang79950e12009-02-10 13:57:06 +0800294 struct msi_msg msi;
Avi Kivity399ec802008-11-19 13:58:46 +0200295 };
Gleb Natapov46e624b2009-08-24 11:54:20 +0300296 struct hlist_node link;
297};
298
Gleb Natapov3e71f882009-08-24 11:54:21 +0300299#ifdef __KVM_HAVE_IOAPIC
300
Gleb Natapov46e624b2009-08-24 11:54:20 +0300301struct kvm_irq_routing_table {
Gleb Natapov3e71f882009-08-24 11:54:21 +0300302 int chip[KVM_NR_IRQCHIPS][KVM_IOAPIC_NUM_PINS];
Gleb Natapov46e624b2009-08-24 11:54:20 +0300303 struct kvm_kernel_irq_routing_entry *rt_entries;
304 u32 nr_rt_entries;
305 /*
306 * Array indexed by gsi. Each entry contains list of irq chips
307 * the gsi is connected to.
308 */
309 struct hlist_head map[0];
Avi Kivity399ec802008-11-19 13:58:46 +0200310};
311
Gleb Natapov3e71f882009-08-24 11:54:21 +0300312#else
313
314struct kvm_irq_routing_table {};
315
316#endif
317
Alex Williamson07432472012-12-10 10:33:15 -0700318#ifndef KVM_PRIVATE_MEM_SLOTS
319#define KVM_PRIVATE_MEM_SLOTS 0
320#endif
321
Xiao Guangrong93a5cef2011-11-24 17:37:48 +0800322#ifndef KVM_MEM_SLOTS_NUM
Alex Williamsonbbacc0c2012-12-10 10:33:09 -0700323#define KVM_MEM_SLOTS_NUM (KVM_USER_MEM_SLOTS + KVM_PRIVATE_MEM_SLOTS)
Xiao Guangrong93a5cef2011-11-24 17:37:48 +0800324#endif
325
Xiao Guangrongbf3e05b2011-11-24 17:40:57 +0800326/*
327 * Note:
328 * memslots are not sorted by id anymore, please use id_to_memslot()
329 * to get the memslot by its id.
330 */
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200331struct kvm_memslots {
Gleb Natapov49c77542010-10-18 15:22:23 +0200332 u64 generation;
Xiao Guangrong93a5cef2011-11-24 17:37:48 +0800333 struct kvm_memory_slot memslots[KVM_MEM_SLOTS_NUM];
Xiao Guangrongf85e2cb2011-11-24 17:41:54 +0800334 /* The mapping table from slot id to the index in memslots[]. */
Alex Williamson1e702d92012-12-10 10:33:32 -0700335 short id_to_index[KVM_MEM_SLOTS_NUM];
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200336};
337
Avi Kivity6aa8b732006-12-10 02:21:36 -0800338struct kvm {
Marcelo Tosattiaaee2c92007-12-20 19:18:26 -0500339 spinlock_t mmu_lock;
Marcelo Tosatti79fac952009-12-23 14:35:26 -0200340 struct mutex slots_lock;
Avi Kivity6d4e4c42007-11-21 16:41:05 +0200341 struct mm_struct *mm; /* userspace tied to this vm */
Marcelo Tosatti46a26bf2009-12-23 14:35:16 -0200342 struct kvm_memslots *memslots;
Marcelo Tosattibc6678a2009-12-23 14:35:21 -0200343 struct srcu_struct srcu;
Gleb Natapov73880c82009-06-09 15:56:28 +0300344#ifdef CONFIG_KVM_APIC_ARCHITECTURE
345 u32 bsp_vcpu_id;
Gleb Natapov73880c82009-06-09 15:56:28 +0300346#endif
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000347 struct kvm_vcpu *vcpus[KVM_MAX_VCPUS];
Gleb Natapov73880c82009-06-09 15:56:28 +0300348 atomic_t online_vcpus;
Rik van Riel217ece62011-02-01 09:53:28 -0500349 int last_boosted_vcpu;
Avi Kivity133de902007-02-12 00:54:44 -0800350 struct list_head vm_list;
Marcelo Tosatti60eead72009-06-04 15:08:23 -0300351 struct mutex lock;
Marcelo Tosattie93f8a02009-12-23 14:35:24 -0200352 struct kvm_io_bus *buses[KVM_NR_BUSES];
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400353#ifdef CONFIG_HAVE_KVM_EVENTFD
354 struct {
355 spinlock_t lock;
356 struct list_head items;
Alex Williamson7a844282012-09-21 11:58:03 -0600357 struct list_head resampler_list;
358 struct mutex resampler_lock;
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400359 } irqfds;
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400360 struct list_head ioeventfds;
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400361#endif
Avi Kivityba1389b2007-11-18 16:24:12 +0200362 struct kvm_vm_stat stat;
Zhang Xiantaod69fb812007-12-14 09:54:20 +0800363 struct kvm_arch arch;
Izik Eidusd39f13b2008-03-30 16:01:25 +0300364 atomic_t users_count;
Laurent Vivier5f94c172008-05-30 16:05:54 +0200365#ifdef KVM_COALESCED_MMIO_PAGE_OFFSET
Laurent Vivier5f94c172008-05-30 16:05:54 +0200366 struct kvm_coalesced_mmio_ring *coalesced_mmio_ring;
Sasha Levin2b3c2462011-07-20 20:59:00 +0300367 spinlock_t ring_lock;
368 struct list_head coalesced_zones;
Laurent Vivier5f94c172008-05-30 16:05:54 +0200369#endif
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200370
Marcelo Tosatti60eead72009-06-04 15:08:23 -0300371 struct mutex irq_lock;
Avi Kivity75858a82009-01-04 17:10:50 +0200372#ifdef CONFIG_HAVE_KVM_IRQCHIP
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200373 /*
374 * Update side is protected by irq_lock and,
375 * if configured, irqfds.lock.
376 */
Arnd Bergmann4b6a2872010-03-04 15:59:23 +0100377 struct kvm_irq_routing_table __rcu *irq_routing;
Avi Kivity75858a82009-01-04 17:10:50 +0200378 struct hlist_head mask_notifier_list;
Gleb Natapov136bdfe2009-08-24 11:54:23 +0300379 struct hlist_head irq_ack_notifier_list;
Avi Kivity75858a82009-01-04 17:10:50 +0200380#endif
381
Marc Zyngier36c1ed82012-06-15 15:07:24 -0400382#if defined(CONFIG_MMU_NOTIFIER) && defined(KVM_ARCH_WANT_MMU_NOTIFIER)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200383 struct mmu_notifier mmu_notifier;
384 unsigned long mmu_notifier_seq;
385 long mmu_notifier_count;
386#endif
Avi Kivity5c663a12010-12-08 18:04:51 +0200387 long tlbs_dirty;
Avi Kivity6aa8b732006-12-10 02:21:36 -0800388};
389
Christoffer Dalla737f252012-06-03 21:17:48 +0300390#define kvm_err(fmt, ...) \
391 pr_err("kvm [%i]: " fmt, task_pid_nr(current), ## __VA_ARGS__)
392#define kvm_info(fmt, ...) \
393 pr_info("kvm [%i]: " fmt, task_pid_nr(current), ## __VA_ARGS__)
394#define kvm_debug(fmt, ...) \
395 pr_debug("kvm [%i]: " fmt, task_pid_nr(current), ## __VA_ARGS__)
396#define kvm_pr_unimpl(fmt, ...) \
397 pr_err_ratelimited("kvm [%i]: " fmt, \
398 task_tgid_nr(current), ## __VA_ARGS__)
Rusty Russellf0242472007-08-01 10:48:02 +1000399
Christoffer Dalla737f252012-06-03 21:17:48 +0300400/* The guest did something we don't support. */
401#define vcpu_unimpl(vcpu, fmt, ...) \
402 kvm_pr_unimpl("vcpu%i " fmt, (vcpu)->vcpu_id, ## __VA_ARGS__)
Avi Kivity6aa8b732006-12-10 02:21:36 -0800403
Gleb Natapov988a2ca2009-06-09 15:56:29 +0300404static inline struct kvm_vcpu *kvm_get_vcpu(struct kvm *kvm, int i)
405{
406 smp_rmb();
407 return kvm->vcpus[i];
408}
409
410#define kvm_for_each_vcpu(idx, vcpup, kvm) \
Jeff Mahoneyb42fc3c2011-04-12 21:30:17 -0400411 for (idx = 0; \
412 idx < atomic_read(&kvm->online_vcpus) && \
413 (vcpup = kvm_get_vcpu(kvm, idx)) != NULL; \
414 idx++)
Gleb Natapov988a2ca2009-06-09 15:56:29 +0300415
Xiao Guangrongbe6ba0f2011-11-24 17:39:18 +0800416#define kvm_for_each_memslot(memslot, slots) \
417 for (memslot = &slots->memslots[0]; \
Xiao Guangrongbf3e05b2011-11-24 17:40:57 +0800418 memslot < slots->memslots + KVM_MEM_SLOTS_NUM && memslot->npages;\
419 memslot++)
Xiao Guangrongbe6ba0f2011-11-24 17:39:18 +0800420
Rusty Russellfb3f0f52007-07-27 17:16:56 +1000421int kvm_vcpu_init(struct kvm_vcpu *vcpu, struct kvm *kvm, unsigned id);
422void kvm_vcpu_uninit(struct kvm_vcpu *vcpu);
423
Michael S. Tsirkin9fc77442012-09-16 11:50:30 +0300424int __must_check vcpu_load(struct kvm_vcpu *vcpu);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200425void vcpu_put(struct kvm_vcpu *vcpu);
426
Avi Kivity0ee75be2010-04-28 15:39:01 +0300427int kvm_init(void *opaque, unsigned vcpu_size, unsigned vcpu_align,
Rusty Russellc16f8622007-07-30 21:12:19 +1000428 struct module *module);
Zhang Xiantaocb498ea2007-11-14 20:39:31 +0800429void kvm_exit(void);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800430
Izik Eidusd39f13b2008-03-30 16:01:25 +0300431void kvm_get_kvm(struct kvm *kvm);
432void kvm_put_kvm(struct kvm *kvm);
Alex Williamson116c14c2012-12-21 08:20:16 -0700433void update_memslots(struct kvm_memslots *slots, struct kvm_memory_slot *new,
434 u64 last_generation);
Izik Eidusd39f13b2008-03-30 16:01:25 +0300435
Lai Jiangshan90d83dc2010-04-19 17:41:23 +0800436static inline struct kvm_memslots *kvm_memslots(struct kvm *kvm)
437{
438 return rcu_dereference_check(kvm->memslots,
439 srcu_read_lock_held(&kvm->srcu)
440 || lockdep_is_held(&kvm->slots_lock));
441}
442
Xiao Guangrong28a37542011-11-24 19:04:35 +0800443static inline struct kvm_memory_slot *
444id_to_memslot(struct kvm_memslots *slots, int id)
445{
Xiao Guangrongf85e2cb2011-11-24 17:41:54 +0800446 int index = slots->id_to_index[id];
447 struct kvm_memory_slot *slot;
Xiao Guangrongbf3e05b2011-11-24 17:40:57 +0800448
Xiao Guangrongf85e2cb2011-11-24 17:41:54 +0800449 slot = &slots->memslots[index];
Xiao Guangrongbf3e05b2011-11-24 17:40:57 +0800450
Xiao Guangrongf85e2cb2011-11-24 17:41:54 +0800451 WARN_ON(slot->id != id);
452 return slot;
Xiao Guangrong28a37542011-11-24 19:04:35 +0800453}
454
Izik Eidus210c7c42007-10-24 23:52:57 +0200455int kvm_set_memory_region(struct kvm *kvm,
456 struct kvm_userspace_memory_region *mem,
Alex Williamsonf82a8cf2012-12-10 10:33:21 -0700457 bool user_alloc);
Sheng Yangf78e0e22007-10-29 09:40:42 +0800458int __kvm_set_memory_region(struct kvm *kvm,
459 struct kvm_userspace_memory_region *mem,
Alex Williamsonf82a8cf2012-12-10 10:33:21 -0700460 bool user_alloc);
Takuya Yoshikawadb3fe4e2012-02-08 13:02:18 +0900461void kvm_arch_free_memslot(struct kvm_memory_slot *free,
462 struct kvm_memory_slot *dont);
463int kvm_arch_create_memslot(struct kvm_memory_slot *slot, unsigned long npages);
Marcelo Tosattif7784b82009-12-23 14:35:18 -0200464int kvm_arch_prepare_memory_region(struct kvm *kvm,
465 struct kvm_memory_slot *memslot,
466 struct kvm_memory_slot old,
467 struct kvm_userspace_memory_region *mem,
Alex Williamsonf82a8cf2012-12-10 10:33:21 -0700468 bool user_alloc);
Marcelo Tosattif7784b82009-12-23 14:35:18 -0200469void kvm_arch_commit_memory_region(struct kvm *kvm,
Zhang Xiantao0de10342007-11-20 16:25:04 +0800470 struct kvm_userspace_memory_region *mem,
471 struct kvm_memory_slot old,
Alex Williamsonf82a8cf2012-12-10 10:33:21 -0700472 bool user_alloc);
Takuya Yoshikawadb3fe4e2012-02-08 13:02:18 +0900473bool kvm_largepages_enabled(void);
Marcelo Tosatti54dee992009-06-11 12:07:44 -0300474void kvm_disable_largepages(void);
Marcelo Tosatti2df72e92012-08-24 15:54:57 -0300475/* flush all memory translations */
476void kvm_arch_flush_shadow_all(struct kvm *kvm);
477/* flush memory translations pointing to 'slot' */
478void kvm_arch_flush_shadow_memslot(struct kvm *kvm,
479 struct kvm_memory_slot *slot);
Marcelo Tosattia983fb22009-12-23 14:35:23 -0200480
Xiao Guangrong48987782010-08-22 19:11:43 +0800481int gfn_to_page_many_atomic(struct kvm *kvm, gfn_t gfn, struct page **pages,
482 int nr_pages);
483
Avi Kivity954bbbc2007-03-30 14:02:32 +0300484struct page *gfn_to_page(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti05da4552008-02-23 11:44:30 -0300485unsigned long gfn_to_hva(struct kvm *kvm, gfn_t gfn);
Xiao Guangrong4d8b81a2012-08-21 11:02:51 +0800486unsigned long gfn_to_hva_memslot(struct kvm_memory_slot *slot, gfn_t gfn);
Izik Eidusb4231d62007-11-20 11:49:33 +0200487void kvm_release_page_clean(struct page *page);
488void kvm_release_page_dirty(struct page *page);
Anthony Liguori35149e22008-04-02 14:46:56 -0500489void kvm_set_page_dirty(struct page *page);
490void kvm_set_page_accessed(struct page *page);
491
Xiao Guangrong365fb3f2010-08-28 19:24:13 +0800492pfn_t gfn_to_pfn_atomic(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti612819c2010-10-22 14:18:18 -0200493pfn_t gfn_to_pfn_async(struct kvm *kvm, gfn_t gfn, bool *async,
494 bool write_fault, bool *writable);
Anthony Liguori35149e22008-04-02 14:46:56 -0500495pfn_t gfn_to_pfn(struct kvm *kvm, gfn_t gfn);
Marcelo Tosatti612819c2010-10-22 14:18:18 -0200496pfn_t gfn_to_pfn_prot(struct kvm *kvm, gfn_t gfn, bool write_fault,
497 bool *writable);
Xiao Guangrongd5661042012-07-17 21:56:16 +0800498pfn_t gfn_to_pfn_memslot(struct kvm_memory_slot *slot, gfn_t gfn);
Xiao Guangrong037d92d2012-08-21 10:59:12 +0800499pfn_t gfn_to_pfn_memslot_atomic(struct kvm_memory_slot *slot, gfn_t gfn);
500
Xiao Guangrong32cad842012-08-03 15:42:52 +0800501void kvm_release_pfn_dirty(pfn_t pfn);
Anthony Liguori35149e22008-04-02 14:46:56 -0500502void kvm_release_pfn_clean(pfn_t pfn);
503void kvm_set_pfn_dirty(pfn_t pfn);
504void kvm_set_pfn_accessed(pfn_t pfn);
505void kvm_get_pfn(pfn_t pfn);
506
Izik Eidus195aefd2007-10-01 22:14:18 +0200507int kvm_read_guest_page(struct kvm *kvm, gfn_t gfn, void *data, int offset,
508 int len);
Marcelo Tosatti7ec54582007-12-20 19:18:23 -0500509int kvm_read_guest_atomic(struct kvm *kvm, gpa_t gpa, void *data,
510 unsigned long len);
Izik Eidus195aefd2007-10-01 22:14:18 +0200511int kvm_read_guest(struct kvm *kvm, gpa_t gpa, void *data, unsigned long len);
Gleb Natapove03b6442011-07-11 15:28:11 -0400512int kvm_read_guest_cached(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
513 void *data, unsigned long len);
Izik Eidus195aefd2007-10-01 22:14:18 +0200514int kvm_write_guest_page(struct kvm *kvm, gfn_t gfn, const void *data,
515 int offset, int len);
516int kvm_write_guest(struct kvm *kvm, gpa_t gpa, const void *data,
517 unsigned long len);
Gleb Natapov49c77542010-10-18 15:22:23 +0200518int kvm_write_guest_cached(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
519 void *data, unsigned long len);
520int kvm_gfn_to_hva_cache_init(struct kvm *kvm, struct gfn_to_hva_cache *ghc,
Andrew Honig8f964522013-03-29 09:35:21 -0700521 gpa_t gpa, unsigned long len);
Izik Eidus195aefd2007-10-01 22:14:18 +0200522int kvm_clear_guest_page(struct kvm *kvm, gfn_t gfn, int offset, int len);
523int kvm_clear_guest(struct kvm *kvm, gpa_t gpa, unsigned long len);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800524struct kvm_memory_slot *gfn_to_memslot(struct kvm *kvm, gfn_t gfn);
Izik Eiduse0d62c72007-10-24 23:57:46 +0200525int kvm_is_visible_gfn(struct kvm *kvm, gfn_t gfn);
Joerg Roedel8f0b1ab2010-01-28 12:37:56 +0100526unsigned long kvm_host_page_size(struct kvm *kvm, gfn_t gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800527void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
Gleb Natapov49c77542010-10-18 15:22:23 +0200528void mark_page_dirty_in_slot(struct kvm *kvm, struct kvm_memory_slot *memslot,
529 gfn_t gfn);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800530
Hollis Blanchard8776e512007-10-31 17:24:24 -0500531void kvm_vcpu_block(struct kvm_vcpu *vcpu);
Christoffer Dallb6d33832012-03-08 16:44:24 -0500532void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
Konstantin Weitz41628d32012-04-25 15:30:38 +0200533bool kvm_vcpu_yield_to(struct kvm_vcpu *target);
Zhai, Edwind255f4f2009-10-09 18:03:20 +0800534void kvm_vcpu_on_spin(struct kvm_vcpu *vcpu);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800535void kvm_resched(struct kvm_vcpu *vcpu);
Avi Kivity7702fd12007-06-14 16:27:40 +0300536void kvm_load_guest_fpu(struct kvm_vcpu *vcpu);
537void kvm_put_guest_fpu(struct kvm_vcpu *vcpu);
Xiao Guangronga4ee1ca2010-11-23 11:13:00 +0800538
Avi Kivityd9e368d2007-06-07 19:18:30 +0300539void kvm_flush_remote_tlbs(struct kvm *kvm);
Marcelo Tosatti2e53d632008-02-20 14:47:24 -0500540void kvm_reload_remote_mmus(struct kvm *kvm);
Marcelo Tosattid8281992012-11-27 23:29:01 -0200541void kvm_make_mclock_inprogress_request(struct kvm *kvm);
Yang Zhangc7c9c562013-01-25 10:18:51 +0800542void kvm_make_update_eoibitmap_request(struct kvm *kvm);
Avi Kivity6aa8b732006-12-10 02:21:36 -0800543
Carsten Otte043405e2007-10-10 17:16:19 +0200544long kvm_arch_dev_ioctl(struct file *filp,
545 unsigned int ioctl, unsigned long arg);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200546long kvm_arch_vcpu_ioctl(struct file *filp,
547 unsigned int ioctl, unsigned long arg);
Carsten Otte5b1c1492012-01-04 10:25:23 +0100548int kvm_arch_vcpu_fault(struct kvm_vcpu *vcpu, struct vm_fault *vmf);
Zhang Xiantao018d00d2007-11-15 23:07:47 +0800549
550int kvm_dev_ioctl_check_extension(long ext);
551
Zhang Xiantao5bb064d2007-11-18 20:29:43 +0800552int kvm_get_dirty_log(struct kvm *kvm,
553 struct kvm_dirty_log *log, int *is_dirty);
554int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm,
555 struct kvm_dirty_log *log);
556
Carsten Otte1fe779f2007-10-29 16:08:35 +0100557int kvm_vm_ioctl_set_memory_region(struct kvm *kvm,
558 struct
559 kvm_userspace_memory_region *mem,
Alex Williamsonf82a8cf2012-12-10 10:33:21 -0700560 bool user_alloc);
Christoffer Dall23d43cf2012-07-24 08:51:20 -0400561int kvm_vm_ioctl_irq_line(struct kvm *kvm, struct kvm_irq_level *irq_level);
Carsten Otte1fe779f2007-10-29 16:08:35 +0100562long kvm_arch_vm_ioctl(struct file *filp,
563 unsigned int ioctl, unsigned long arg);
Carsten Otte313a3dc2007-10-11 19:16:52 +0200564
Hollis Blanchardd0752062007-10-31 17:24:25 -0500565int kvm_arch_vcpu_ioctl_get_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
566int kvm_arch_vcpu_ioctl_set_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu);
567
Zhang Xiantao8b006792007-11-16 13:05:55 +0800568int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
569 struct kvm_translation *tr);
570
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500571int kvm_arch_vcpu_ioctl_get_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
572int kvm_arch_vcpu_ioctl_set_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs);
573int kvm_arch_vcpu_ioctl_get_sregs(struct kvm_vcpu *vcpu,
574 struct kvm_sregs *sregs);
575int kvm_arch_vcpu_ioctl_set_sregs(struct kvm_vcpu *vcpu,
576 struct kvm_sregs *sregs);
Marcelo Tosatti62d9f0d2008-04-11 13:24:45 -0300577int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
578 struct kvm_mp_state *mp_state);
579int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
580 struct kvm_mp_state *mp_state);
Jan Kiszkad0bfb942008-12-15 13:52:10 +0100581int kvm_arch_vcpu_ioctl_set_guest_debug(struct kvm_vcpu *vcpu,
582 struct kvm_guest_debug *dbg);
Hollis Blanchardb6c7a5d2007-11-01 14:16:10 -0500583int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run);
584
Zhang Xiantaof8c16bb2007-11-14 20:40:21 +0800585int kvm_arch_init(void *opaque);
586void kvm_arch_exit(void);
Carsten Otte043405e2007-10-10 17:16:19 +0200587
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800588int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu);
589void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu);
590
591void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu);
592void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
593void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
594struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id);
Avi Kivity26e52152007-11-20 15:30:24 +0200595int kvm_arch_vcpu_setup(struct kvm_vcpu *vcpu);
Marcelo Tosatti42897d82012-11-27 23:29:02 -0200596int kvm_arch_vcpu_postcreate(struct kvm_vcpu *vcpu);
Hollis Blanchardd40ccc62007-11-19 14:04:43 -0600597void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800598
Alexander Graf10474ae2009-09-15 11:37:46 +0200599int kvm_arch_hardware_enable(void *garbage);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800600void kvm_arch_hardware_disable(void *garbage);
601int kvm_arch_hardware_setup(void);
602void kvm_arch_hardware_unsetup(void);
603void kvm_arch_check_processor_compat(void *rtn);
Zhang Xiantao1d737c82007-12-14 09:35:10 +0800604int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu);
Christoffer Dallb6d33832012-03-08 16:44:24 -0500605int kvm_arch_vcpu_should_kick(struct kvm_vcpu *vcpu);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800606
Zhang Xiantaod19a9cd2007-11-18 18:43:45 +0800607void kvm_free_physmem(struct kvm *kvm);
608
Takuya Yoshikawac1a7b322012-05-20 13:15:07 +0900609void *kvm_kvzalloc(unsigned long size);
610void kvm_kvfree(const void *addr);
611
Jan Kiszkad89f5ef2010-11-09 17:02:49 +0100612#ifndef __KVM_HAVE_ARCH_VM_ALLOC
613static inline struct kvm *kvm_arch_alloc_vm(void)
614{
615 return kzalloc(sizeof(struct kvm), GFP_KERNEL);
616}
617
618static inline void kvm_arch_free_vm(struct kvm *kvm)
619{
620 kfree(kvm);
621}
622#endif
623
Christoffer Dallb6d33832012-03-08 16:44:24 -0500624static inline wait_queue_head_t *kvm_arch_vcpu_wq(struct kvm_vcpu *vcpu)
625{
Alexander Graf2246f8b2012-03-13 22:35:01 +0100626#ifdef __KVM_HAVE_ARCH_WQP
627 return vcpu->arch.wqp;
628#else
Christoffer Dallb6d33832012-03-08 16:44:24 -0500629 return &vcpu->wq;
Christoffer Dallb6d33832012-03-08 16:44:24 -0500630#endif
Alexander Graf2246f8b2012-03-13 22:35:01 +0100631}
Christoffer Dallb6d33832012-03-08 16:44:24 -0500632
Carsten Ottee08b9632012-01-04 10:25:20 +0100633int kvm_arch_init_vm(struct kvm *kvm, unsigned long type);
Zhang Xiantaod19a9cd2007-11-18 18:43:45 +0800634void kvm_arch_destroy_vm(struct kvm *kvm);
Xiantao Zhang8a98f662008-10-06 13:47:38 +0800635void kvm_free_all_assigned_devices(struct kvm *kvm);
Sheng Yangad8ba2c2009-01-06 10:03:02 +0800636void kvm_arch_sync_events(struct kvm *kvm);
Zhang Xiantaoe9b11c12007-11-14 20:38:21 +0800637
Marcelo Tosatti3d808402008-04-11 14:53:26 -0300638int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu);
Zhang Xiantao57361992007-12-17 14:21:40 +0800639void kvm_vcpu_kick(struct kvm_vcpu *vcpu);
Zhang Xiantao682c59a2007-12-11 20:36:00 +0800640
Xiao Guangronga2766322012-07-26 11:58:59 +0800641bool kvm_is_mmio_pfn(pfn_t pfn);
Xiantao Zhangc77fb9d2008-09-27 10:55:40 +0800642
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300643struct kvm_irq_ack_notifier {
644 struct hlist_node link;
645 unsigned gsi;
646 void (*irq_acked)(struct kvm_irq_ack_notifier *kian);
647};
648
649struct kvm_assigned_dev_kernel {
650 struct kvm_irq_ack_notifier ack_notifier;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300651 struct list_head list;
652 int assigned_dev_id;
Zhai, Edwinab9f4ec2010-01-29 14:38:44 +0800653 int host_segnr;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300654 int host_busnr;
655 int host_devfn;
Sheng Yangc1e01512009-02-25 17:22:26 +0800656 unsigned int entries_nr;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300657 int host_irq;
Mark McLoughlindefaf152008-12-02 12:16:33 +0000658 bool host_irq_disabled;
Jan Kiszka07700a92012-02-28 14:19:54 +0100659 bool pci_2_3;
Sheng Yangc1e01512009-02-25 17:22:26 +0800660 struct msix_entry *host_msix_entries;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300661 int guest_irq;
Jan Kiszka0645211c2010-11-16 22:30:03 +0100662 struct msix_entry *guest_msix_entries;
Sheng Yang4f906c12008-11-24 14:32:51 +0800663 unsigned long irq_requested_type;
Sheng Yang5550af42008-10-15 20:15:06 +0800664 int irq_source_id;
Weidong Hanb6535742008-12-08 23:29:53 +0800665 int flags;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300666 struct pci_dev *dev;
667 struct kvm *kvm;
Jan Kiszka0645211c2010-11-16 22:30:03 +0100668 spinlock_t intx_lock;
Jan Kiszkacf9eeac2012-03-14 11:02:11 +0100669 spinlock_t intx_mask_lock;
Jan Kiszka1e001d42010-11-16 22:30:04 +0100670 char irq_name[32];
Alex Williamsonf8fcfd72011-05-10 10:02:39 -0600671 struct pci_saved_state *pci_saved_state;
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300672};
Avi Kivity75858a82009-01-04 17:10:50 +0200673
674struct kvm_irq_mask_notifier {
675 void (*func)(struct kvm_irq_mask_notifier *kimn, bool masked);
676 int irq;
677 struct hlist_node link;
678};
679
680void kvm_register_irq_mask_notifier(struct kvm *kvm, int irq,
681 struct kvm_irq_mask_notifier *kimn);
682void kvm_unregister_irq_mask_notifier(struct kvm *kvm, int irq,
683 struct kvm_irq_mask_notifier *kimn);
Gleb Natapov4a994352010-07-11 15:32:23 +0300684void kvm_fire_mask_notifiers(struct kvm *kvm, unsigned irqchip, unsigned pin,
685 bool mask);
Avi Kivity75858a82009-01-04 17:10:50 +0200686
Gleb Natapov46e624b2009-08-24 11:54:20 +0300687#ifdef __KVM_HAVE_IOAPIC
688void kvm_get_intr_delivery_bitmask(struct kvm_ioapic *ioapic,
689 union kvm_ioapic_redirect_entry *entry,
690 unsigned long *deliver_bitmask);
691#endif
692int kvm_set_irq(struct kvm *kvm, int irq_source_id, u32 irq, int level);
Michael S. Tsirkin01f21882012-10-17 18:06:02 +0200693int kvm_set_irq_inatomic(struct kvm *kvm, int irq_source_id, u32 irq, int level);
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200694int kvm_set_msi(struct kvm_kernel_irq_routing_entry *irq_entry, struct kvm *kvm,
695 int irq_source_id, int level);
Yang Zhangc7c9c562013-01-25 10:18:51 +0800696bool kvm_irq_has_notifier(struct kvm *kvm, unsigned irqchip, unsigned pin);
Marcelo Tosatti44882ee2009-01-27 15:12:38 -0200697void kvm_notify_acked_irq(struct kvm *kvm, unsigned irqchip, unsigned pin);
Xiantao Zhang3de42dc2008-10-06 13:48:45 +0800698void kvm_register_irq_ack_notifier(struct kvm *kvm,
699 struct kvm_irq_ack_notifier *kian);
Marcelo Tosattifa40a822009-06-04 15:08:24 -0300700void kvm_unregister_irq_ack_notifier(struct kvm *kvm,
701 struct kvm_irq_ack_notifier *kian);
Sheng Yang5550af42008-10-15 20:15:06 +0800702int kvm_request_irq_source_id(struct kvm *kvm);
703void kvm_free_irq_source_id(struct kvm *kvm, int irq_source_id);
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300704
Sheng Yang522c68c2009-04-27 20:35:43 +0800705/* For vcpu->arch.iommu_flags */
706#define KVM_IOMMU_CACHE_COHERENCY 0x1
707
Joerg Roedel19de40a2008-12-03 14:43:34 +0100708#ifdef CONFIG_IOMMU_API
Marcelo Tosatti3ad26d82009-12-23 14:35:20 -0200709int kvm_iommu_map_pages(struct kvm *kvm, struct kvm_memory_slot *slot);
Alex Williamson32f6daa2012-04-11 09:51:49 -0600710void kvm_iommu_unmap_pages(struct kvm *kvm, struct kvm_memory_slot *slot);
Weidong Han260782b2008-12-02 21:03:39 +0800711int kvm_iommu_map_guest(struct kvm *kvm);
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300712int kvm_iommu_unmap_guest(struct kvm *kvm);
Weidong Han260782b2008-12-02 21:03:39 +0800713int kvm_assign_device(struct kvm *kvm,
714 struct kvm_assigned_dev_kernel *assigned_dev);
Weidong Han0a920352008-12-02 21:24:23 +0800715int kvm_deassign_device(struct kvm *kvm,
716 struct kvm_assigned_dev_kernel *assigned_dev);
Joerg Roedel19de40a2008-12-03 14:43:34 +0100717#else /* CONFIG_IOMMU_API */
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300718static inline int kvm_iommu_map_pages(struct kvm *kvm,
Jan Kiszkad7a79b62010-10-14 13:59:04 +0200719 struct kvm_memory_slot *slot)
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300720{
721 return 0;
722}
723
Alex Williamson32f6daa2012-04-11 09:51:49 -0600724static inline void kvm_iommu_unmap_pages(struct kvm *kvm,
725 struct kvm_memory_slot *slot)
726{
727}
728
Weidong Han260782b2008-12-02 21:03:39 +0800729static inline int kvm_iommu_map_guest(struct kvm *kvm)
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300730{
731 return -ENODEV;
732}
733
734static inline int kvm_iommu_unmap_guest(struct kvm *kvm)
735{
736 return 0;
737}
Weidong Han260782b2008-12-02 21:03:39 +0800738
739static inline int kvm_assign_device(struct kvm *kvm,
740 struct kvm_assigned_dev_kernel *assigned_dev)
741{
742 return 0;
743}
Weidong Han0a920352008-12-02 21:24:23 +0800744
745static inline int kvm_deassign_device(struct kvm *kvm,
746 struct kvm_assigned_dev_kernel *assigned_dev)
747{
748 return 0;
749}
Joerg Roedel19de40a2008-12-03 14:43:34 +0100750#endif /* CONFIG_IOMMU_API */
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300751
Frederic Weisbecker6a616712012-12-16 20:00:34 +0100752static inline void __guest_enter(void)
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200753{
Frederic Weisbeckerb0809352012-10-05 23:07:19 +0200754 /*
755 * This is running in ioctl context so we can avoid
756 * the call to vtime_account() with its unnecessary idle check.
757 */
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +0100758 vtime_account_system(current);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200759 current->flags |= PF_VCPU;
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +0100760}
761
Frederic Weisbecker6a616712012-12-16 20:00:34 +0100762static inline void __guest_exit(void)
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +0100763{
764 /*
765 * This is running in ioctl context so we can avoid
766 * the call to vtime_account() with its unnecessary idle check.
767 */
768 vtime_account_system(current);
769 current->flags &= ~PF_VCPU;
770}
771
Frederic Weisbecker6a616712012-12-16 20:00:34 +0100772#ifdef CONFIG_CONTEXT_TRACKING
773extern void guest_enter(void);
774extern void guest_exit(void);
775
776#else /* !CONFIG_CONTEXT_TRACKING */
777static inline void guest_enter(void)
778{
779 __guest_enter();
780}
781
782static inline void guest_exit(void)
783{
784 __guest_exit();
785}
786#endif /* !CONFIG_CONTEXT_TRACKING */
787
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +0100788static inline void kvm_guest_enter(void)
789{
790 unsigned long flags;
791
792 BUG_ON(preemptible());
793
794 local_irq_save(flags);
795 guest_enter();
796 local_irq_restore(flags);
797
Gleb Natapov8fa22062011-05-04 16:31:04 +0300798 /* KVM does not hold any references to rcu protected data when it
799 * switches CPU into a guest mode. In fact switching to a guest mode
800 * is very similar to exiting to userspase from rcu point of view. In
801 * addition CPU may stay in a guest mode for quite a long time (up to
802 * one time slice). Lets treat guest mode as quiescent state, just like
803 * we do with user-mode execution.
804 */
805 rcu_virt_note_context_switch(smp_processor_id());
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200806}
807
808static inline void kvm_guest_exit(void)
809{
Frederic Weisbeckerc11f11f2013-01-21 00:50:22 +0100810 unsigned long flags;
811
812 local_irq_save(flags);
813 guest_exit();
814 local_irq_restore(flags);
Laurent Vivierd172fcd2007-10-15 17:00:19 +0200815}
816
Paul Mackerras9d4cba72012-01-12 20:09:51 +0000817/*
818 * search_memslots() and __gfn_to_memslot() are here because they are
819 * used in non-modular code in arch/powerpc/kvm/book3s_hv_rm_mmu.c.
820 * gfn_to_memslot() itself isn't here as an inline because that would
821 * bloat other code too much.
822 */
823static inline struct kvm_memory_slot *
824search_memslots(struct kvm_memslots *slots, gfn_t gfn)
825{
826 struct kvm_memory_slot *memslot;
827
828 kvm_for_each_memslot(memslot, slots)
829 if (gfn >= memslot->base_gfn &&
830 gfn < memslot->base_gfn + memslot->npages)
831 return memslot;
832
833 return NULL;
834}
835
836static inline struct kvm_memory_slot *
837__gfn_to_memslot(struct kvm_memslots *slots, gfn_t gfn)
838{
839 return search_memslots(slots, gfn);
840}
841
Gavin Shan66a03502012-08-24 16:50:28 +0800842static inline unsigned long
843__gfn_to_hva_memslot(struct kvm_memory_slot *slot, gfn_t gfn)
844{
845 return slot->userspace_addr + (gfn - slot->base_gfn) * PAGE_SIZE;
846}
847
Xiao Guangrong0ee8dcb2011-03-09 15:41:59 +0800848static inline int memslot_id(struct kvm *kvm, gfn_t gfn)
849{
850 return gfn_to_memslot(kvm, gfn)->id;
851}
852
Takuya Yoshikawafb03cb62012-02-08 12:59:10 +0900853static inline gfn_t gfn_to_index(gfn_t gfn, gfn_t base_gfn, int level)
854{
855 /* KVM_HPAGE_GFN_SHIFT(PT_PAGE_TABLE_LEVEL) must be 0. */
856 return (gfn >> KVM_HPAGE_GFN_SHIFT(level)) -
857 (base_gfn >> KVM_HPAGE_GFN_SHIFT(level));
858}
859
Takuya Yoshikawad19a7482012-07-02 17:54:30 +0900860static inline gfn_t
861hva_to_gfn_memslot(unsigned long hva, struct kvm_memory_slot *slot)
Xiao Guangrong887c08a2010-08-22 19:10:28 +0800862{
Takuya Yoshikawad19a7482012-07-02 17:54:30 +0900863 gfn_t gfn_offset = (hva - slot->userspace_addr) >> PAGE_SHIFT;
864
865 return slot->base_gfn + gfn_offset;
Xiao Guangrong887c08a2010-08-22 19:10:28 +0800866}
867
Avi Kivity1755fbc2007-11-21 14:44:45 +0200868static inline gpa_t gfn_to_gpa(gfn_t gfn)
869{
870 return (gpa_t)gfn << PAGE_SHIFT;
871}
Avi Kivity6aa8b732006-12-10 02:21:36 -0800872
Joerg Roedelc30a3582010-09-10 17:30:48 +0200873static inline gfn_t gpa_to_gfn(gpa_t gpa)
874{
875 return (gfn_t)(gpa >> PAGE_SHIFT);
876}
877
Ben-Ami Yassour62c476c2008-09-14 03:48:28 +0300878static inline hpa_t pfn_to_hpa(pfn_t pfn)
879{
880 return (hpa_t)pfn << PAGE_SHIFT;
881}
882
Marcelo Tosatti2f599712008-05-27 12:10:20 -0300883static inline void kvm_migrate_timers(struct kvm_vcpu *vcpu)
Avi Kivity2f52d582008-01-16 12:49:30 +0200884{
885 set_bit(KVM_REQ_MIGRATE_TIMER, &vcpu->requests);
886}
887
Avi Kivityba1389b2007-11-18 16:24:12 +0200888enum kvm_stat_kind {
889 KVM_STAT_VM,
890 KVM_STAT_VCPU,
891};
892
Hollis Blanchard417bc302007-10-31 17:24:23 -0500893struct kvm_stats_debugfs_item {
894 const char *name;
895 int offset;
Avi Kivityba1389b2007-11-18 16:24:12 +0200896 enum kvm_stat_kind kind;
Hollis Blanchard417bc302007-10-31 17:24:23 -0500897 struct dentry *dentry;
898};
899extern struct kvm_stats_debugfs_item debugfs_entries[];
Hollis Blanchard76f7c872008-04-15 16:05:42 -0500900extern struct dentry *kvm_debugfs_dir;
Feng(Eric) Liud4c9ff22008-04-10 08:47:53 -0400901
Marc Zyngier36c1ed82012-06-15 15:07:24 -0400902#if defined(CONFIG_MMU_NOTIFIER) && defined(KVM_ARCH_WANT_MMU_NOTIFIER)
Christoffer Dall8ca40a72012-10-14 23:10:18 -0400903static inline int mmu_notifier_retry(struct kvm *kvm, unsigned long mmu_seq)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200904{
Christoffer Dall8ca40a72012-10-14 23:10:18 -0400905 if (unlikely(kvm->mmu_notifier_count))
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200906 return 1;
907 /*
Paul Mackerrasa355aa52011-12-12 12:37:21 +0000908 * Ensure the read of mmu_notifier_count happens before the read
909 * of mmu_notifier_seq. This interacts with the smp_wmb() in
910 * mmu_notifier_invalidate_range_end to make sure that the caller
911 * either sees the old (non-zero) value of mmu_notifier_count or
912 * the new (incremented) value of mmu_notifier_seq.
913 * PowerPC Book3s HV KVM calls this under a per-page lock
914 * rather than under kvm->mmu_lock, for scalability, so
915 * can't rely on kvm->mmu_lock to keep things ordered.
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200916 */
Paul Mackerrasa355aa52011-12-12 12:37:21 +0000917 smp_rmb();
Christoffer Dall8ca40a72012-10-14 23:10:18 -0400918 if (kvm->mmu_notifier_seq != mmu_seq)
Andrea Arcangelie930bff2008-07-25 16:24:52 +0200919 return 1;
920 return 0;
921}
922#endif
923
Marc Zyngier9900b4b2012-06-15 15:07:02 -0400924#ifdef KVM_CAP_IRQ_ROUTING
Avi Kivity399ec802008-11-19 13:58:46 +0200925
926#define KVM_MAX_IRQ_ROUTES 1024
927
928int kvm_setup_default_irq_routing(struct kvm *kvm);
929int kvm_set_irq_routing(struct kvm *kvm,
930 const struct kvm_irq_routing_entry *entries,
931 unsigned nr,
932 unsigned flags);
933void kvm_free_irq_routing(struct kvm *kvm);
934
Jan Kiszka07975ad2012-03-29 21:14:12 +0200935int kvm_send_userspace_msi(struct kvm *kvm, struct kvm_msi *msi);
936
Avi Kivity399ec802008-11-19 13:58:46 +0200937#else
938
939static inline void kvm_free_irq_routing(struct kvm *kvm) {}
940
941#endif
942
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400943#ifdef CONFIG_HAVE_KVM_EVENTFD
944
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400945void kvm_eventfd_init(struct kvm *kvm);
Alexander Graf914daba2012-10-09 00:22:59 +0200946int kvm_ioeventfd(struct kvm *kvm, struct kvm_ioeventfd *args);
947
948#ifdef CONFIG_HAVE_KVM_IRQCHIP
Alex Williamsond4db2932012-06-29 09:56:08 -0600949int kvm_irqfd(struct kvm *kvm, struct kvm_irqfd *args);
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400950void kvm_irqfd_release(struct kvm *kvm);
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200951void kvm_irq_routing_update(struct kvm *, struct kvm_irq_routing_table *);
Alexander Graf914daba2012-10-09 00:22:59 +0200952#else
953static inline int kvm_irqfd(struct kvm *kvm, struct kvm_irqfd *args)
954{
955 return -EINVAL;
956}
957
958static inline void kvm_irqfd_release(struct kvm *kvm) {}
959#endif
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400960
961#else
962
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400963static inline void kvm_eventfd_init(struct kvm *kvm) {}
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200964
Alex Williamsond4db2932012-06-29 09:56:08 -0600965static inline int kvm_irqfd(struct kvm *kvm, struct kvm_irqfd *args)
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400966{
967 return -EINVAL;
968}
969
970static inline void kvm_irqfd_release(struct kvm *kvm) {}
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200971
Alexander Graf27923eb2010-11-25 10:25:44 +0100972#ifdef CONFIG_HAVE_KVM_IRQCHIP
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200973static inline void kvm_irq_routing_update(struct kvm *kvm,
974 struct kvm_irq_routing_table *irq_rt)
975{
976 rcu_assign_pointer(kvm->irq_routing, irq_rt);
977}
Alexander Graf27923eb2010-11-25 10:25:44 +0100978#endif
Michael S. Tsirkinbd2b53b2010-11-18 19:09:08 +0200979
Gregory Haskinsd34e6b12009-07-07 17:08:49 -0400980static inline int kvm_ioeventfd(struct kvm *kvm, struct kvm_ioeventfd *args)
981{
982 return -ENOSYS;
983}
Gregory Haskins721eecbf2009-05-20 10:30:49 -0400984
985#endif /* CONFIG_HAVE_KVM_EVENTFD */
986
Gleb Natapov73880c82009-06-09 15:56:28 +0300987#ifdef CONFIG_KVM_APIC_ARCHITECTURE
Gleb Natapovc5af89b2009-06-09 15:56:26 +0300988static inline bool kvm_vcpu_is_bsp(struct kvm_vcpu *vcpu)
989{
Marcelo Tosattid3efc8e2009-06-17 10:07:59 -0300990 return vcpu->kvm->bsp_vcpu_id == vcpu->vcpu_id;
Gleb Natapovc5af89b2009-06-09 15:56:26 +0300991}
Avi Kivity3e515702012-03-05 14:23:29 +0200992
993bool kvm_vcpu_compatible(struct kvm_vcpu *vcpu);
994
995#else
996
997static inline bool kvm_vcpu_compatible(struct kvm_vcpu *vcpu) { return true; }
998
Avi Kivity6aa8b732006-12-10 02:21:36 -0800999#endif
Avi Kivitybfd99ff2009-08-26 14:57:50 +03001000
1001#ifdef __KVM_HAVE_DEVICE_ASSIGNMENT
1002
1003long kvm_vm_ioctl_assigned_device(struct kvm *kvm, unsigned ioctl,
1004 unsigned long arg);
1005
1006#else
1007
1008static inline long kvm_vm_ioctl_assigned_device(struct kvm *kvm, unsigned ioctl,
1009 unsigned long arg)
1010{
1011 return -ENOTTY;
1012}
1013
Gleb Natapov73880c82009-06-09 15:56:28 +03001014#endif
Avi Kivitybfd99ff2009-08-26 14:57:50 +03001015
Avi Kivitya8eeb042010-05-10 12:34:53 +03001016static inline void kvm_make_request(int req, struct kvm_vcpu *vcpu)
1017{
1018 set_bit(req, &vcpu->requests);
1019}
1020
Avi Kivitya8eeb042010-05-10 12:34:53 +03001021static inline bool kvm_check_request(int req, struct kvm_vcpu *vcpu)
1022{
Avi Kivity07198372010-05-10 13:08:26 +03001023 if (test_bit(req, &vcpu->requests)) {
1024 clear_bit(req, &vcpu->requests);
1025 return true;
1026 } else {
1027 return false;
1028 }
Avi Kivitya8eeb042010-05-10 12:34:53 +03001029}
1030
Raghavendra K T4c088492012-07-18 19:07:46 +05301031#ifdef CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT
1032
1033static inline void kvm_vcpu_set_in_spin_loop(struct kvm_vcpu *vcpu, bool val)
1034{
1035 vcpu->spin_loop.in_spin_loop = val;
1036}
1037static inline void kvm_vcpu_set_dy_eligible(struct kvm_vcpu *vcpu, bool val)
1038{
1039 vcpu->spin_loop.dy_eligible = val;
1040}
1041
1042#else /* !CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT */
1043
1044static inline void kvm_vcpu_set_in_spin_loop(struct kvm_vcpu *vcpu, bool val)
1045{
1046}
1047
1048static inline void kvm_vcpu_set_dy_eligible(struct kvm_vcpu *vcpu, bool val)
1049{
1050}
1051
Raghavendra K T06e48c52012-07-19 15:17:52 +05301052static inline bool kvm_vcpu_eligible_for_directed_yield(struct kvm_vcpu *vcpu)
1053{
1054 return true;
1055}
1056
Raghavendra K T4c088492012-07-18 19:07:46 +05301057#endif /* CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT */
Avi Kivitybfd99ff2009-08-26 14:57:50 +03001058#endif
Marcelo Tosatti09a6e1f2013-03-22 08:08:06 -03001059