blob: 6e30034d1464593bd44cc247058b4a772b31a014 [file] [log] [blame]
Thomas Gleixner1802d0b2019-05-27 08:55:21 +02001// SPDX-License-Identifier: GPL-2.0-only
Marc Zyngier4493b1c2016-04-26 11:06:12 +01002/*
3 * VGIC MMIO handling functions
Marc Zyngier4493b1c2016-04-26 11:06:12 +01004 */
5
6#include <linux/bitops.h>
7#include <linux/bsearch.h>
Marc Zyngieref1820b2020-03-04 20:33:25 +00008#include <linux/interrupt.h>
9#include <linux/irq.h>
Marc Zyngier4493b1c2016-04-26 11:06:12 +010010#include <linux/kvm.h>
11#include <linux/kvm_host.h>
12#include <kvm/iodev.h>
Christoffer Dalldf635c52017-09-01 16:25:12 +020013#include <kvm/arm_arch_timer.h>
Marc Zyngier4493b1c2016-04-26 11:06:12 +010014#include <kvm/arm_vgic.h>
15
16#include "vgic.h"
17#include "vgic-mmio.h"
18
19unsigned long vgic_mmio_read_raz(struct kvm_vcpu *vcpu,
20 gpa_t addr, unsigned int len)
21{
22 return 0;
23}
24
25unsigned long vgic_mmio_read_rao(struct kvm_vcpu *vcpu,
26 gpa_t addr, unsigned int len)
27{
28 return -1UL;
29}
30
31void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,
32 unsigned int len, unsigned long val)
33{
34 /* Ignore */
35}
36
Christoffer Dallc6e09172018-07-16 15:06:23 +020037int vgic_mmio_uaccess_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,
38 unsigned int len, unsigned long val)
39{
40 /* Ignore */
41 return 0;
42}
43
Christoffer Dalld53c2c292018-07-16 15:06:25 +020044unsigned long vgic_mmio_read_group(struct kvm_vcpu *vcpu,
45 gpa_t addr, unsigned int len)
46{
47 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
48 u32 value = 0;
49 int i;
50
51 /* Loop over all IRQs affected by this read */
52 for (i = 0; i < len * 8; i++) {
53 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
54
55 if (irq->group)
56 value |= BIT(i);
57
58 vgic_put_irq(vcpu->kvm, irq);
59 }
60
61 return value;
62}
63
Marc Zyngieref1820b2020-03-04 20:33:25 +000064static void vgic_update_vsgi(struct vgic_irq *irq)
65{
66 WARN_ON(its_prop_update_vsgi(irq->host_irq, irq->priority, irq->group));
67}
68
Christoffer Dalld53c2c292018-07-16 15:06:25 +020069void vgic_mmio_write_group(struct kvm_vcpu *vcpu, gpa_t addr,
70 unsigned int len, unsigned long val)
71{
72 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
73 int i;
74 unsigned long flags;
75
76 for (i = 0; i < len * 8; i++) {
77 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
78
Julien Thierry8fa3adb2019-01-07 15:06:15 +000079 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Christoffer Dalld53c2c292018-07-16 15:06:25 +020080 irq->group = !!(val & BIT(i));
Marc Zyngieref1820b2020-03-04 20:33:25 +000081 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
82 vgic_update_vsgi(irq);
83 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
84 } else {
85 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
86 }
Christoffer Dalld53c2c292018-07-16 15:06:25 +020087
88 vgic_put_irq(vcpu->kvm, irq);
89 }
90}
91
Andre Przywarafd122e62015-12-01 14:33:05 +000092/*
93 * Read accesses to both GICD_ICENABLER and GICD_ISENABLER return the value
94 * of the enabled bit, so there is only one function for both here.
95 */
96unsigned long vgic_mmio_read_enable(struct kvm_vcpu *vcpu,
97 gpa_t addr, unsigned int len)
98{
99 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
100 u32 value = 0;
101 int i;
102
103 /* Loop over all IRQs affected by this read */
104 for (i = 0; i < len * 8; i++) {
105 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
106
107 if (irq->enabled)
108 value |= (1U << i);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100109
110 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +0000111 }
112
113 return value;
114}
115
116void vgic_mmio_write_senable(struct kvm_vcpu *vcpu,
117 gpa_t addr, unsigned int len,
118 unsigned long val)
119{
120 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
121 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200122 unsigned long flags;
Andre Przywarafd122e62015-12-01 14:33:05 +0000123
124 for_each_set_bit(i, &val, len * 8) {
125 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
126
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000127 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000128 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
129 if (!irq->enabled) {
130 struct irq_data *data;
131
132 irq->enabled = true;
133 data = &irq_to_desc(irq->host_irq)->irq_data;
134 while (irqd_irq_disabled(data))
135 enable_irq(irq->host_irq);
136 }
137
138 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
139 vgic_put_irq(vcpu->kvm, irq);
140
141 continue;
142 } else if (vgic_irq_is_mapped_level(irq)) {
Alexandru Elisei16e604a2019-08-07 10:53:20 +0100143 bool was_high = irq->line_level;
144
145 /*
146 * We need to update the state of the interrupt because
147 * the guest might have changed the state of the device
148 * while the interrupt was disabled at the VGIC level.
149 */
150 irq->line_level = vgic_get_phys_line_level(irq);
151 /*
152 * Deactivate the physical interrupt so the GIC will let
153 * us know when it is asserted again.
154 */
155 if (!irq->active && was_high && !irq->line_level)
156 vgic_irq_set_phys_active(irq, false);
157 }
Andre Przywarafd122e62015-12-01 14:33:05 +0000158 irq->enabled = true;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200159 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100160
161 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +0000162 }
163}
164
165void vgic_mmio_write_cenable(struct kvm_vcpu *vcpu,
166 gpa_t addr, unsigned int len,
167 unsigned long val)
168{
169 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
170 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200171 unsigned long flags;
Andre Przywarafd122e62015-12-01 14:33:05 +0000172
173 for_each_set_bit(i, &val, len * 8) {
174 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
175
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000176 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000177 if (irq->hw && vgic_irq_is_sgi(irq->intid) && irq->enabled)
178 disable_irq_nosync(irq->host_irq);
Andre Przywarafd122e62015-12-01 14:33:05 +0000179
180 irq->enabled = false;
181
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000182 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100183 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +0000184 }
185}
186
Marc Zyngier41ee52e2020-04-09 13:05:26 +0100187int vgic_uaccess_write_senable(struct kvm_vcpu *vcpu,
188 gpa_t addr, unsigned int len,
189 unsigned long val)
190{
191 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
192 int i;
193 unsigned long flags;
194
195 for_each_set_bit(i, &val, len * 8) {
196 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
197
198 raw_spin_lock_irqsave(&irq->irq_lock, flags);
199 irq->enabled = true;
200 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
201
202 vgic_put_irq(vcpu->kvm, irq);
203 }
204
205 return 0;
206}
207
208int vgic_uaccess_write_cenable(struct kvm_vcpu *vcpu,
209 gpa_t addr, unsigned int len,
210 unsigned long val)
211{
212 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
213 int i;
214 unsigned long flags;
215
216 for_each_set_bit(i, &val, len * 8) {
217 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
218
219 raw_spin_lock_irqsave(&irq->irq_lock, flags);
220 irq->enabled = false;
221 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
222
223 vgic_put_irq(vcpu->kvm, irq);
224 }
225
226 return 0;
227}
228
Andre Przywara96b29802015-12-01 14:33:41 +0000229unsigned long vgic_mmio_read_pending(struct kvm_vcpu *vcpu,
230 gpa_t addr, unsigned int len)
231{
232 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
233 u32 value = 0;
234 int i;
235
236 /* Loop over all IRQs affected by this read */
237 for (i = 0; i < len * 8; i++) {
238 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Andre Przywara62b06f82018-03-06 09:21:06 +0000239 unsigned long flags;
Marc Zyngieref1820b2020-03-04 20:33:25 +0000240 bool val;
Andre Przywara96b29802015-12-01 14:33:41 +0000241
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000242 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000243 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
244 int err;
245
246 val = false;
247 err = irq_get_irqchip_state(irq->host_irq,
248 IRQCHIP_STATE_PENDING,
249 &val);
250 WARN_RATELIMIT(err, "IRQ %d", irq->host_irq);
251 } else {
252 val = irq_is_pending(irq);
253 }
254
255 value |= ((u32)val << i);
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000256 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100257
258 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000259 }
260
261 return value;
262}
263
Christoffer Dalldf635c52017-09-01 16:25:12 +0200264/* Must be called with irq->irq_lock held */
265static void vgic_hw_irq_spending(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
266 bool is_uaccess)
267{
268 if (is_uaccess)
269 return;
270
271 irq->pending_latch = true;
272 vgic_irq_set_phys_active(irq, true);
273}
274
Marc Zyngier82e40f52019-08-28 11:10:16 +0100275static bool is_vgic_v2_sgi(struct kvm_vcpu *vcpu, struct vgic_irq *irq)
276{
277 return (vgic_irq_is_sgi(irq->intid) &&
278 vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V2);
279}
280
Andre Przywara96b29802015-12-01 14:33:41 +0000281void vgic_mmio_write_spending(struct kvm_vcpu *vcpu,
282 gpa_t addr, unsigned int len,
283 unsigned long val)
284{
Paolo Bonzini7495e222020-01-09 09:57:19 -0500285 bool is_uaccess = !kvm_get_running_vcpu();
Andre Przywara96b29802015-12-01 14:33:41 +0000286 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
287 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200288 unsigned long flags;
Andre Przywara96b29802015-12-01 14:33:41 +0000289
290 for_each_set_bit(i, &val, len * 8) {
291 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
292
Marc Zyngier82e40f52019-08-28 11:10:16 +0100293 /* GICD_ISPENDR0 SGI bits are WI */
294 if (is_vgic_v2_sgi(vcpu, irq)) {
295 vgic_put_irq(vcpu->kvm, irq);
296 continue;
297 }
298
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000299 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000300
301 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
302 /* HW SGI? Ask the GIC to inject it */
303 int err;
304 err = irq_set_irqchip_state(irq->host_irq,
305 IRQCHIP_STATE_PENDING,
306 true);
307 WARN_RATELIMIT(err, "IRQ %d", irq->host_irq);
308
309 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
310 vgic_put_irq(vcpu->kvm, irq);
311
312 continue;
313 }
314
Christoffer Dalldf635c52017-09-01 16:25:12 +0200315 if (irq->hw)
316 vgic_hw_irq_spending(vcpu, irq, is_uaccess);
317 else
318 irq->pending_latch = true;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200319 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100320 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000321 }
322}
323
Christoffer Dalldf635c52017-09-01 16:25:12 +0200324/* Must be called with irq->irq_lock held */
325static void vgic_hw_irq_cpending(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
326 bool is_uaccess)
327{
328 if (is_uaccess)
329 return;
330
331 irq->pending_latch = false;
332
333 /*
334 * We don't want the guest to effectively mask the physical
335 * interrupt by doing a write to SPENDR followed by a write to
336 * CPENDR for HW interrupts, so we clear the active state on
337 * the physical side if the virtual interrupt is not active.
338 * This may lead to taking an additional interrupt on the
339 * host, but that should not be a problem as the worst that
340 * can happen is an additional vgic injection. We also clear
341 * the pending state to maintain proper semantics for edge HW
342 * interrupts.
343 */
344 vgic_irq_set_phys_pending(irq, false);
345 if (!irq->active)
346 vgic_irq_set_phys_active(irq, false);
347}
348
Andre Przywara96b29802015-12-01 14:33:41 +0000349void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
350 gpa_t addr, unsigned int len,
351 unsigned long val)
352{
Paolo Bonzini7495e222020-01-09 09:57:19 -0500353 bool is_uaccess = !kvm_get_running_vcpu();
Andre Przywara96b29802015-12-01 14:33:41 +0000354 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
355 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200356 unsigned long flags;
Andre Przywara96b29802015-12-01 14:33:41 +0000357
358 for_each_set_bit(i, &val, len * 8) {
359 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
360
Marc Zyngier82e40f52019-08-28 11:10:16 +0100361 /* GICD_ICPENDR0 SGI bits are WI */
362 if (is_vgic_v2_sgi(vcpu, irq)) {
363 vgic_put_irq(vcpu->kvm, irq);
364 continue;
365 }
366
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000367 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Andre Przywara96b29802015-12-01 14:33:41 +0000368
Marc Zyngieref1820b2020-03-04 20:33:25 +0000369 if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
370 /* HW SGI? Ask the GIC to clear its pending bit */
371 int err;
372 err = irq_set_irqchip_state(irq->host_irq,
373 IRQCHIP_STATE_PENDING,
374 false);
375 WARN_RATELIMIT(err, "IRQ %d", irq->host_irq);
376
377 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
378 vgic_put_irq(vcpu->kvm, irq);
379
380 continue;
381 }
382
Christoffer Dalldf635c52017-09-01 16:25:12 +0200383 if (irq->hw)
384 vgic_hw_irq_cpending(vcpu, irq, is_uaccess);
385 else
386 irq->pending_latch = false;
Andre Przywara96b29802015-12-01 14:33:41 +0000387
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000388 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100389 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000390 }
391}
392
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100393
394/*
395 * If we are fiddling with an IRQ's active state, we have to make sure the IRQ
396 * is not queued on some running VCPU's LRs, because then the change to the
397 * active state can be overwritten when the VCPU's state is synced coming back
398 * from the guest.
399 *
400 * For shared interrupts as well as GICv3 private interrupts, we have to
401 * stop all the VCPUs because interrupts can be migrated while we don't hold
402 * the IRQ locks and we don't want to be chasing moving targets.
403 *
404 * For GICv2 private interrupts we don't have to do anything because
405 * userspace accesses to the VGIC state already require all VCPUs to be
406 * stopped, and only the VCPU itself can modify its private interrupts
407 * active state, which guarantees that the VCPU is not running.
408 */
409static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid)
410{
411 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 ||
412 intid >= VGIC_NR_PRIVATE_IRQS)
413 kvm_arm_halt_guest(vcpu->kvm);
414}
415
416/* See vgic_access_active_prepare */
417static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid)
418{
419 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 ||
420 intid >= VGIC_NR_PRIVATE_IRQS)
421 kvm_arm_resume_guest(vcpu->kvm);
422}
423
424static unsigned long __vgic_mmio_read_active(struct kvm_vcpu *vcpu,
425 gpa_t addr, unsigned int len)
Andre Przywara69b6fe02015-12-01 12:40:58 +0000426{
427 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
428 u32 value = 0;
429 int i;
430
431 /* Loop over all IRQs affected by this read */
432 for (i = 0; i < len * 8; i++) {
433 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
434
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100435 /*
436 * Even for HW interrupts, don't evaluate the HW state as
437 * all the guest is interested in is the virtual state.
438 */
Andre Przywara69b6fe02015-12-01 12:40:58 +0000439 if (irq->active)
440 value |= (1U << i);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100441
442 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000443 }
444
445 return value;
446}
447
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100448unsigned long vgic_mmio_read_active(struct kvm_vcpu *vcpu,
449 gpa_t addr, unsigned int len)
450{
451 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
452 u32 val;
453
454 mutex_lock(&vcpu->kvm->lock);
455 vgic_access_active_prepare(vcpu, intid);
456
457 val = __vgic_mmio_read_active(vcpu, addr, len);
458
459 vgic_access_active_finish(vcpu, intid);
460 mutex_unlock(&vcpu->kvm->lock);
461
462 return val;
463}
464
465unsigned long vgic_uaccess_read_active(struct kvm_vcpu *vcpu,
466 gpa_t addr, unsigned int len)
467{
468 return __vgic_mmio_read_active(vcpu, addr, len);
469}
470
Christoffer Dalldf635c52017-09-01 16:25:12 +0200471/* Must be called with irq->irq_lock held */
472static void vgic_hw_irq_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
473 bool active, bool is_uaccess)
474{
475 if (is_uaccess)
476 return;
477
478 irq->active = active;
479 vgic_irq_set_phys_active(irq, active);
480}
481
Christoffer Dall35a2d582016-05-20 15:25:28 +0200482static void vgic_mmio_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
Christoffer Dalldf635c52017-09-01 16:25:12 +0200483 bool active)
Christoffer Dall35a2d582016-05-20 15:25:28 +0200484{
Christoffer Dall006df0f2016-10-16 22:19:11 +0200485 unsigned long flags;
Paolo Bonzini7495e222020-01-09 09:57:19 -0500486 struct kvm_vcpu *requester_vcpu = kvm_get_running_vcpu();
Jintack Lim370a0ec2017-03-06 05:42:37 -0800487
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000488 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Jintack Lim370a0ec2017-03-06 05:42:37 -0800489
Marc Zyngieref1820b2020-03-04 20:33:25 +0000490 if (irq->hw && !vgic_irq_is_sgi(irq->intid)) {
Christoffer Dalldf635c52017-09-01 16:25:12 +0200491 vgic_hw_irq_change_active(vcpu, irq, active, !requester_vcpu);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000492 } else if (irq->hw && vgic_irq_is_sgi(irq->intid)) {
493 /*
494 * GICv4.1 VSGI feature doesn't track an active state,
495 * so let's not kid ourselves, there is nothing we can
496 * do here.
497 */
498 irq->active = false;
Marc Zyngier53692902018-04-18 10:39:04 +0100499 } else {
500 u32 model = vcpu->kvm->arch.vgic.vgic_model;
Christoffer Dall60c3ab32018-12-11 12:51:03 +0100501 u8 active_source;
Marc Zyngier53692902018-04-18 10:39:04 +0100502
Christoffer Dalldf635c52017-09-01 16:25:12 +0200503 irq->active = active;
Christoffer Dall60c3ab32018-12-11 12:51:03 +0100504
505 /*
506 * The GICv2 architecture indicates that the source CPUID for
507 * an SGI should be provided during an EOI which implies that
508 * the active state is stored somewhere, but at the same time
509 * this state is not architecturally exposed anywhere and we
510 * have no way of knowing the right source.
511 *
512 * This may lead to a VCPU not being able to receive
513 * additional instances of a particular SGI after migration
514 * for a GICv2 VM on some GIC implementations. Oh well.
515 */
516 active_source = (requester_vcpu) ? requester_vcpu->vcpu_id : 0;
517
Marc Zyngier53692902018-04-18 10:39:04 +0100518 if (model == KVM_DEV_TYPE_ARM_VGIC_V2 &&
519 active && vgic_irq_is_sgi(irq->intid))
Christoffer Dall60c3ab32018-12-11 12:51:03 +0100520 irq->active_source = active_source;
Marc Zyngier53692902018-04-18 10:39:04 +0100521 }
Christoffer Dalldf635c52017-09-01 16:25:12 +0200522
523 if (irq->active)
Christoffer Dall006df0f2016-10-16 22:19:11 +0200524 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200525 else
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000526 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200527}
528
Christoffer Dall31971912017-05-16 09:44:39 +0200529static void __vgic_mmio_write_cactive(struct kvm_vcpu *vcpu,
530 gpa_t addr, unsigned int len,
531 unsigned long val)
Andre Przywara69b6fe02015-12-01 12:40:58 +0000532{
533 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
534 int i;
535
Andre Przywara69b6fe02015-12-01 12:40:58 +0000536 for_each_set_bit(i, &val, len * 8) {
537 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200538 vgic_mmio_change_active(vcpu, irq, false);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100539 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000540 }
Christoffer Dall31971912017-05-16 09:44:39 +0200541}
542
543void vgic_mmio_write_cactive(struct kvm_vcpu *vcpu,
544 gpa_t addr, unsigned int len,
545 unsigned long val)
546{
547 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
548
Christoffer Dallabd72292017-05-06 20:01:24 +0200549 mutex_lock(&vcpu->kvm->lock);
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100550 vgic_access_active_prepare(vcpu, intid);
Christoffer Dall31971912017-05-16 09:44:39 +0200551
552 __vgic_mmio_write_cactive(vcpu, addr, len, val);
553
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100554 vgic_access_active_finish(vcpu, intid);
Christoffer Dallabd72292017-05-06 20:01:24 +0200555 mutex_unlock(&vcpu->kvm->lock);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000556}
557
Christoffer Dallc6e09172018-07-16 15:06:23 +0200558int vgic_mmio_uaccess_write_cactive(struct kvm_vcpu *vcpu,
Christoffer Dall31971912017-05-16 09:44:39 +0200559 gpa_t addr, unsigned int len,
560 unsigned long val)
561{
562 __vgic_mmio_write_cactive(vcpu, addr, len, val);
Christoffer Dallc6e09172018-07-16 15:06:23 +0200563 return 0;
Christoffer Dall31971912017-05-16 09:44:39 +0200564}
565
566static void __vgic_mmio_write_sactive(struct kvm_vcpu *vcpu,
567 gpa_t addr, unsigned int len,
568 unsigned long val)
569{
570 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
571 int i;
572
573 for_each_set_bit(i, &val, len * 8) {
574 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
575 vgic_mmio_change_active(vcpu, irq, true);
576 vgic_put_irq(vcpu->kvm, irq);
577 }
578}
579
Andre Przywara69b6fe02015-12-01 12:40:58 +0000580void vgic_mmio_write_sactive(struct kvm_vcpu *vcpu,
581 gpa_t addr, unsigned int len,
582 unsigned long val)
583{
584 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000585
Christoffer Dallabd72292017-05-06 20:01:24 +0200586 mutex_lock(&vcpu->kvm->lock);
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100587 vgic_access_active_prepare(vcpu, intid);
Christoffer Dall31971912017-05-16 09:44:39 +0200588
589 __vgic_mmio_write_sactive(vcpu, addr, len, val);
590
Marc Zyngier9a50ebb2020-04-06 16:21:20 +0100591 vgic_access_active_finish(vcpu, intid);
Christoffer Dallabd72292017-05-06 20:01:24 +0200592 mutex_unlock(&vcpu->kvm->lock);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000593}
594
Christoffer Dallc6e09172018-07-16 15:06:23 +0200595int vgic_mmio_uaccess_write_sactive(struct kvm_vcpu *vcpu,
Christoffer Dall31971912017-05-16 09:44:39 +0200596 gpa_t addr, unsigned int len,
597 unsigned long val)
598{
599 __vgic_mmio_write_sactive(vcpu, addr, len, val);
Christoffer Dallc6e09172018-07-16 15:06:23 +0200600 return 0;
Christoffer Dall31971912017-05-16 09:44:39 +0200601}
602
Andre Przywara055658b2015-12-01 14:34:02 +0000603unsigned long vgic_mmio_read_priority(struct kvm_vcpu *vcpu,
604 gpa_t addr, unsigned int len)
605{
606 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
607 int i;
608 u64 val = 0;
609
610 for (i = 0; i < len; i++) {
611 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
612
613 val |= (u64)irq->priority << (i * 8);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100614
615 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara055658b2015-12-01 14:34:02 +0000616 }
617
618 return val;
619}
620
621/*
622 * We currently don't handle changing the priority of an interrupt that
623 * is already pending on a VCPU. If there is a need for this, we would
624 * need to make this VCPU exit and re-evaluate the priorities, potentially
625 * leading to this interrupt getting presented now to the guest (if it has
626 * been masked by the priority mask before).
627 */
628void vgic_mmio_write_priority(struct kvm_vcpu *vcpu,
629 gpa_t addr, unsigned int len,
630 unsigned long val)
631{
632 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
633 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200634 unsigned long flags;
Andre Przywara055658b2015-12-01 14:34:02 +0000635
636 for (i = 0; i < len; i++) {
637 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
638
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000639 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Andre Przywara055658b2015-12-01 14:34:02 +0000640 /* Narrow the priority range to what we actually support */
641 irq->priority = (val >> (i * 8)) & GENMASK(7, 8 - VGIC_PRI_BITS);
Marc Zyngieref1820b2020-03-04 20:33:25 +0000642 if (irq->hw && vgic_irq_is_sgi(irq->intid))
643 vgic_update_vsgi(irq);
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000644 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100645
646 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara055658b2015-12-01 14:34:02 +0000647 }
648}
649
Andre Przywara79717e42015-12-01 12:41:31 +0000650unsigned long vgic_mmio_read_config(struct kvm_vcpu *vcpu,
651 gpa_t addr, unsigned int len)
652{
653 u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
654 u32 value = 0;
655 int i;
656
657 for (i = 0; i < len * 4; i++) {
658 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
659
660 if (irq->config == VGIC_CONFIG_EDGE)
661 value |= (2U << (i * 2));
Andre Przywara5dd4b922016-07-15 12:43:27 +0100662
663 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara79717e42015-12-01 12:41:31 +0000664 }
665
666 return value;
667}
668
669void vgic_mmio_write_config(struct kvm_vcpu *vcpu,
670 gpa_t addr, unsigned int len,
671 unsigned long val)
672{
673 u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
674 int i;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200675 unsigned long flags;
Andre Przywara79717e42015-12-01 12:41:31 +0000676
677 for (i = 0; i < len * 4; i++) {
Andre Przywara5dd4b922016-07-15 12:43:27 +0100678 struct vgic_irq *irq;
Andre Przywara79717e42015-12-01 12:41:31 +0000679
680 /*
681 * The configuration cannot be changed for SGIs in general,
682 * for PPIs this is IMPLEMENTATION DEFINED. The arch timer
683 * code relies on PPIs being level triggered, so we also
684 * make them read-only here.
685 */
686 if (intid + i < VGIC_NR_PRIVATE_IRQS)
687 continue;
688
Andre Przywara5dd4b922016-07-15 12:43:27 +0100689 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000690 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100691
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100692 if (test_bit(i * 2 + 1, &val))
Andre Przywara79717e42015-12-01 12:41:31 +0000693 irq->config = VGIC_CONFIG_EDGE;
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100694 else
Andre Przywara79717e42015-12-01 12:41:31 +0000695 irq->config = VGIC_CONFIG_LEVEL;
Andre Przywara5dd4b922016-07-15 12:43:27 +0100696
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000697 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100698 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara79717e42015-12-01 12:41:31 +0000699 }
700}
701
Vijaya Kumar Ke96a0062017-01-26 19:50:52 +0530702u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)
703{
704 int i;
705 u64 val = 0;
706 int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
707
708 for (i = 0; i < 32; i++) {
709 struct vgic_irq *irq;
710
711 if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
712 continue;
713
714 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
715 if (irq->config == VGIC_CONFIG_LEVEL && irq->line_level)
716 val |= (1U << i);
717
718 vgic_put_irq(vcpu->kvm, irq);
719 }
720
721 return val;
722}
723
724void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,
725 const u64 val)
726{
727 int i;
728 int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
Christoffer Dall006df0f2016-10-16 22:19:11 +0200729 unsigned long flags;
Vijaya Kumar Ke96a0062017-01-26 19:50:52 +0530730
731 for (i = 0; i < 32; i++) {
732 struct vgic_irq *irq;
733 bool new_level;
734
735 if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
736 continue;
737
738 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
739
740 /*
741 * Line level is set irrespective of irq type
742 * (level or edge) to avoid dependency that VM should
743 * restore irq config before line level.
744 */
745 new_level = !!(val & (1U << i));
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000746 raw_spin_lock_irqsave(&irq->irq_lock, flags);
Vijaya Kumar Ke96a0062017-01-26 19:50:52 +0530747 irq->line_level = new_level;
748 if (new_level)
Christoffer Dall006df0f2016-10-16 22:19:11 +0200749 vgic_queue_irq_unlock(vcpu->kvm, irq, flags);
Vijaya Kumar Ke96a0062017-01-26 19:50:52 +0530750 else
Julien Thierry8fa3adb2019-01-07 15:06:15 +0000751 raw_spin_unlock_irqrestore(&irq->irq_lock, flags);
Vijaya Kumar Ke96a0062017-01-26 19:50:52 +0530752
753 vgic_put_irq(vcpu->kvm, irq);
754 }
755}
756
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100757static int match_region(const void *key, const void *elt)
758{
759 const unsigned int offset = (unsigned long)key;
760 const struct vgic_register_region *region = elt;
761
762 if (offset < region->reg_offset)
763 return -1;
764
765 if (offset >= region->reg_offset + region->len)
766 return 1;
767
768 return 0;
769}
770
Eric Auger4b7171a2016-12-20 09:20:00 +0100771const struct vgic_register_region *
772vgic_find_mmio_region(const struct vgic_register_region *regions,
773 int nr_regions, unsigned int offset)
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100774{
Eric Auger4b7171a2016-12-20 09:20:00 +0100775 return bsearch((void *)(uintptr_t)offset, regions, nr_regions,
776 sizeof(regions[0]), match_region);
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100777}
778
Vijaya Kumar K5fb247d2017-01-26 19:50:50 +0530779void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr)
780{
781 if (kvm_vgic_global_state.type == VGIC_V2)
782 vgic_v2_set_vmcr(vcpu, vmcr);
783 else
784 vgic_v3_set_vmcr(vcpu, vmcr);
785}
786
787void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr)
788{
789 if (kvm_vgic_global_state.type == VGIC_V2)
790 vgic_v2_get_vmcr(vcpu, vmcr);
791 else
792 vgic_v3_get_vmcr(vcpu, vmcr);
793}
794
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100795/*
796 * kvm_mmio_read_buf() returns a value in a format where it can be converted
797 * to a byte array and be directly observed as the guest wanted it to appear
798 * in memory if it had done the store itself, which is LE for the GIC, as the
799 * guest knows the GIC is always LE.
800 *
801 * We convert this value to the CPUs native format to deal with it as a data
802 * value.
803 */
804unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len)
805{
806 unsigned long data = kvm_mmio_read_buf(val, len);
807
808 switch (len) {
809 case 1:
810 return data;
811 case 2:
812 return le16_to_cpu(data);
813 case 4:
814 return le32_to_cpu(data);
815 default:
816 return le64_to_cpu(data);
817 }
818}
819
820/*
821 * kvm_mmio_write_buf() expects a value in a format such that if converted to
822 * a byte array it is observed as the guest would see it if it could perform
823 * the load directly. Since the GIC is LE, and the guest knows this, the
824 * guest expects a value in little endian format.
825 *
826 * We convert the data value from the CPUs native format to LE so that the
827 * value is returned in the proper format.
828 */
829void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
830 unsigned long data)
831{
832 switch (len) {
833 case 1:
834 break;
835 case 2:
836 data = cpu_to_le16(data);
837 break;
838 case 4:
839 data = cpu_to_le32(data);
840 break;
841 default:
842 data = cpu_to_le64(data);
843 }
844
845 kvm_mmio_write_buf(buf, len, data);
846}
847
848static
849struct vgic_io_device *kvm_to_vgic_iodev(const struct kvm_io_device *dev)
850{
851 return container_of(dev, struct vgic_io_device, dev);
852}
853
Andre Przywara112b0b82016-11-01 18:00:08 +0000854static bool check_region(const struct kvm *kvm,
855 const struct vgic_register_region *region,
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100856 gpa_t addr, int len)
857{
Andre Przywara112b0b82016-11-01 18:00:08 +0000858 int flags, nr_irqs = kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
859
860 switch (len) {
861 case sizeof(u8):
862 flags = VGIC_ACCESS_8bit;
863 break;
864 case sizeof(u32):
865 flags = VGIC_ACCESS_32bit;
866 break;
867 case sizeof(u64):
868 flags = VGIC_ACCESS_64bit;
869 break;
870 default:
871 return false;
872 }
873
874 if ((region->access_flags & flags) && IS_ALIGNED(addr, len)) {
875 if (!region->bits_per_irq)
876 return true;
877
878 /* Do we access a non-allocated IRQ? */
879 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;
880 }
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100881
882 return false;
883}
884
Vijaya Kumar K94574c92017-01-26 19:50:47 +0530885const struct vgic_register_region *
Vijaya Kumar K2df903a2017-01-26 19:50:46 +0530886vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,
887 gpa_t addr, int len)
888{
889 const struct vgic_register_region *region;
890
891 region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,
892 addr - iodev->base_addr);
893 if (!region || !check_region(vcpu->kvm, region, addr, len))
894 return NULL;
895
896 return region;
897}
898
899static int vgic_uaccess_read(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
900 gpa_t addr, u32 *val)
901{
902 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
903 const struct vgic_register_region *region;
904 struct kvm_vcpu *r_vcpu;
905
906 region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
907 if (!region) {
908 *val = 0;
909 return 0;
910 }
911
912 r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;
913 if (region->uaccess_read)
914 *val = region->uaccess_read(r_vcpu, addr, sizeof(u32));
915 else
916 *val = region->read(r_vcpu, addr, sizeof(u32));
917
918 return 0;
919}
920
921static int vgic_uaccess_write(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
922 gpa_t addr, const u32 *val)
923{
924 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
925 const struct vgic_register_region *region;
926 struct kvm_vcpu *r_vcpu;
927
928 region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
929 if (!region)
930 return 0;
931
932 r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;
933 if (region->uaccess_write)
Christoffer Dallc6e09172018-07-16 15:06:23 +0200934 return region->uaccess_write(r_vcpu, addr, sizeof(u32), *val);
Vijaya Kumar K2df903a2017-01-26 19:50:46 +0530935
Christoffer Dallc6e09172018-07-16 15:06:23 +0200936 region->write(r_vcpu, addr, sizeof(u32), *val);
Vijaya Kumar K2df903a2017-01-26 19:50:46 +0530937 return 0;
938}
939
940/*
941 * Userland access to VGIC registers.
942 */
943int vgic_uaccess(struct kvm_vcpu *vcpu, struct vgic_io_device *dev,
944 bool is_write, int offset, u32 *val)
945{
946 if (is_write)
947 return vgic_uaccess_write(vcpu, &dev->dev, offset, val);
948 else
949 return vgic_uaccess_read(vcpu, &dev->dev, offset, val);
950}
951
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100952static int dispatch_mmio_read(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
953 gpa_t addr, int len, void *val)
954{
955 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
956 const struct vgic_register_region *region;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100957 unsigned long data = 0;
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100958
Vijaya Kumar K2df903a2017-01-26 19:50:46 +0530959 region = vgic_get_mmio_region(vcpu, iodev, addr, len);
960 if (!region) {
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100961 memset(val, 0, len);
962 return 0;
963 }
964
Andre Przywara59c5ab42016-07-15 12:43:30 +0100965 switch (iodev->iodev_type) {
966 case IODEV_CPUIF:
Eric Auger9d5fcb92016-07-18 10:57:36 +0000967 data = region->read(vcpu, addr, len);
968 break;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100969 case IODEV_DIST:
970 data = region->read(vcpu, addr, len);
971 break;
972 case IODEV_REDIST:
973 data = region->read(iodev->redist_vcpu, addr, len);
974 break;
975 case IODEV_ITS:
976 data = region->its_read(vcpu->kvm, iodev->its, addr, len);
977 break;
978 }
979
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100980 vgic_data_host_to_mmio_bus(val, len, data);
981 return 0;
982}
983
984static int dispatch_mmio_write(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
985 gpa_t addr, int len, const void *val)
986{
987 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
988 const struct vgic_register_region *region;
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100989 unsigned long data = vgic_data_mmio_bus_to_host(val, len);
990
Vijaya Kumar K2df903a2017-01-26 19:50:46 +0530991 region = vgic_get_mmio_region(vcpu, iodev, addr, len);
992 if (!region)
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100993 return 0;
994
Andre Przywara59c5ab42016-07-15 12:43:30 +0100995 switch (iodev->iodev_type) {
996 case IODEV_CPUIF:
Eric Auger9d5fcb92016-07-18 10:57:36 +0000997 region->write(vcpu, addr, len, data);
Andre Przywara59c5ab42016-07-15 12:43:30 +0100998 break;
999 case IODEV_DIST:
1000 region->write(vcpu, addr, len, data);
1001 break;
1002 case IODEV_REDIST:
1003 region->write(iodev->redist_vcpu, addr, len, data);
1004 break;
1005 case IODEV_ITS:
1006 region->its_write(vcpu->kvm, iodev->its, addr, len, data);
1007 break;
1008 }
1009
Marc Zyngier4493b1c2016-04-26 11:06:12 +01001010 return 0;
1011}
1012
1013struct kvm_io_device_ops kvm_io_gic_ops = {
1014 .read = dispatch_mmio_read,
1015 .write = dispatch_mmio_write,
1016};
Andre Przywarafb848db2016-04-26 21:32:49 +01001017
1018int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
1019 enum vgic_type type)
1020{
1021 struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;
1022 int ret = 0;
1023 unsigned int len;
1024
1025 switch (type) {
1026 case VGIC_V2:
1027 len = vgic_v2_init_dist_iodev(io_device);
1028 break;
Andre Przywaraed9b8ce2015-12-01 14:34:34 +00001029 case VGIC_V3:
1030 len = vgic_v3_init_dist_iodev(io_device);
1031 break;
Andre Przywarafb848db2016-04-26 21:32:49 +01001032 default:
1033 BUG_ON(1);
1034 }
1035
1036 io_device->base_addr = dist_base_address;
Andre Przywara59c5ab42016-07-15 12:43:30 +01001037 io_device->iodev_type = IODEV_DIST;
Andre Przywarafb848db2016-04-26 21:32:49 +01001038 io_device->redist_vcpu = NULL;
1039
1040 mutex_lock(&kvm->slots_lock);
1041 ret = kvm_io_bus_register_dev(kvm, KVM_MMIO_BUS, dist_base_address,
1042 len, &io_device->dev);
1043 mutex_unlock(&kvm->slots_lock);
1044
1045 return ret;
1046}