blob: 2670d39d1f862d4a7792dc10d77eb578e5d76fa8 [file] [log] [blame]
Marc Zyngier4493b1c2016-04-26 11:06:12 +01001/*
2 * VGIC MMIO handling functions
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 */
13
14#include <linux/bitops.h>
15#include <linux/bsearch.h>
16#include <linux/kvm.h>
17#include <linux/kvm_host.h>
18#include <kvm/iodev.h>
19#include <kvm/arm_vgic.h>
20
21#include "vgic.h"
22#include "vgic-mmio.h"
23
24unsigned long vgic_mmio_read_raz(struct kvm_vcpu *vcpu,
25 gpa_t addr, unsigned int len)
26{
27 return 0;
28}
29
30unsigned long vgic_mmio_read_rao(struct kvm_vcpu *vcpu,
31 gpa_t addr, unsigned int len)
32{
33 return -1UL;
34}
35
36void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,
37 unsigned int len, unsigned long val)
38{
39 /* Ignore */
40}
41
Andre Przywarafd122e62015-12-01 14:33:05 +000042/*
43 * Read accesses to both GICD_ICENABLER and GICD_ISENABLER return the value
44 * of the enabled bit, so there is only one function for both here.
45 */
46unsigned long vgic_mmio_read_enable(struct kvm_vcpu *vcpu,
47 gpa_t addr, unsigned int len)
48{
49 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
50 u32 value = 0;
51 int i;
52
53 /* Loop over all IRQs affected by this read */
54 for (i = 0; i < len * 8; i++) {
55 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
56
57 if (irq->enabled)
58 value |= (1U << i);
Andre Przywara5dd4b922016-07-15 12:43:27 +010059
60 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +000061 }
62
63 return value;
64}
65
66void vgic_mmio_write_senable(struct kvm_vcpu *vcpu,
67 gpa_t addr, unsigned int len,
68 unsigned long val)
69{
70 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
71 int i;
72
73 for_each_set_bit(i, &val, len * 8) {
74 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
75
76 spin_lock(&irq->irq_lock);
77 irq->enabled = true;
78 vgic_queue_irq_unlock(vcpu->kvm, irq);
Andre Przywara5dd4b922016-07-15 12:43:27 +010079
80 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +000081 }
82}
83
84void vgic_mmio_write_cenable(struct kvm_vcpu *vcpu,
85 gpa_t addr, unsigned int len,
86 unsigned long val)
87{
88 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
89 int i;
90
91 for_each_set_bit(i, &val, len * 8) {
92 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
93
94 spin_lock(&irq->irq_lock);
95
96 irq->enabled = false;
97
98 spin_unlock(&irq->irq_lock);
Andre Przywara5dd4b922016-07-15 12:43:27 +010099 vgic_put_irq(vcpu->kvm, irq);
Andre Przywarafd122e62015-12-01 14:33:05 +0000100 }
101}
102
Andre Przywara96b29802015-12-01 14:33:41 +0000103unsigned long vgic_mmio_read_pending(struct kvm_vcpu *vcpu,
104 gpa_t addr, unsigned int len)
105{
106 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
107 u32 value = 0;
108 int i;
109
110 /* Loop over all IRQs affected by this read */
111 for (i = 0; i < len * 8; i++) {
112 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
113
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100114 if (irq_is_pending(irq))
Andre Przywara96b29802015-12-01 14:33:41 +0000115 value |= (1U << i);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100116
117 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000118 }
119
120 return value;
121}
122
123void vgic_mmio_write_spending(struct kvm_vcpu *vcpu,
124 gpa_t addr, unsigned int len,
125 unsigned long val)
126{
127 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
128 int i;
129
130 for_each_set_bit(i, &val, len * 8) {
131 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
132
133 spin_lock(&irq->irq_lock);
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100134 irq->pending_latch = true;
Andre Przywara96b29802015-12-01 14:33:41 +0000135
136 vgic_queue_irq_unlock(vcpu->kvm, irq);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100137 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000138 }
139}
140
141void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
142 gpa_t addr, unsigned int len,
143 unsigned long val)
144{
145 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
146 int i;
147
148 for_each_set_bit(i, &val, len * 8) {
149 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
150
151 spin_lock(&irq->irq_lock);
152
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100153 irq->pending_latch = false;
Andre Przywara96b29802015-12-01 14:33:41 +0000154
155 spin_unlock(&irq->irq_lock);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100156 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara96b29802015-12-01 14:33:41 +0000157 }
158}
159
Andre Przywara69b6fe02015-12-01 12:40:58 +0000160unsigned long vgic_mmio_read_active(struct kvm_vcpu *vcpu,
161 gpa_t addr, unsigned int len)
162{
163 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
164 u32 value = 0;
165 int i;
166
167 /* Loop over all IRQs affected by this read */
168 for (i = 0; i < len * 8; i++) {
169 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
170
171 if (irq->active)
172 value |= (1U << i);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100173
174 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000175 }
176
177 return value;
178}
179
Christoffer Dall35a2d582016-05-20 15:25:28 +0200180static void vgic_mmio_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
181 bool new_active_state)
182{
183 spin_lock(&irq->irq_lock);
184 /*
185 * If this virtual IRQ was written into a list register, we
186 * have to make sure the CPU that runs the VCPU thread has
187 * synced back LR state to the struct vgic_irq. We can only
188 * know this for sure, when either this irq is not assigned to
189 * anyone's AP list anymore, or the VCPU thread is not
190 * running on any CPUs.
191 *
192 * In the opposite case, we know the VCPU thread may be on its
193 * way back from the guest and still has to sync back this
194 * IRQ, so we release and re-acquire the spin_lock to let the
195 * other thread sync back the IRQ.
196 */
197 while (irq->vcpu && /* IRQ may have state in an LR somewhere */
Marc Zyngier05fb05a2016-06-02 09:24:06 +0100198 irq->vcpu->cpu != -1) /* VCPU thread is running */
Christoffer Dall35a2d582016-05-20 15:25:28 +0200199 cond_resched_lock(&irq->irq_lock);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200200
201 irq->active = new_active_state;
202 if (new_active_state)
203 vgic_queue_irq_unlock(vcpu->kvm, irq);
204 else
205 spin_unlock(&irq->irq_lock);
206}
207
208/*
209 * If we are fiddling with an IRQ's active state, we have to make sure the IRQ
210 * is not queued on some running VCPU's LRs, because then the change to the
211 * active state can be overwritten when the VCPU's state is synced coming back
212 * from the guest.
213 *
214 * For shared interrupts, we have to stop all the VCPUs because interrupts can
215 * be migrated while we don't hold the IRQ locks and we don't want to be
216 * chasing moving targets.
217 *
218 * For private interrupts, we only have to make sure the single and only VCPU
219 * that can potentially queue the IRQ is stopped.
220 */
221static void vgic_change_active_prepare(struct kvm_vcpu *vcpu, u32 intid)
222{
223 if (intid < VGIC_NR_PRIVATE_IRQS)
224 kvm_arm_halt_vcpu(vcpu);
225 else
226 kvm_arm_halt_guest(vcpu->kvm);
227}
228
229/* See vgic_change_active_prepare */
230static void vgic_change_active_finish(struct kvm_vcpu *vcpu, u32 intid)
231{
232 if (intid < VGIC_NR_PRIVATE_IRQS)
233 kvm_arm_resume_vcpu(vcpu);
234 else
235 kvm_arm_resume_guest(vcpu->kvm);
236}
237
Andre Przywara69b6fe02015-12-01 12:40:58 +0000238void vgic_mmio_write_cactive(struct kvm_vcpu *vcpu,
239 gpa_t addr, unsigned int len,
240 unsigned long val)
241{
242 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
243 int i;
244
Christoffer Dall35a2d582016-05-20 15:25:28 +0200245 vgic_change_active_prepare(vcpu, intid);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000246 for_each_set_bit(i, &val, len * 8) {
247 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200248 vgic_mmio_change_active(vcpu, irq, false);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100249 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000250 }
Christoffer Dall35a2d582016-05-20 15:25:28 +0200251 vgic_change_active_finish(vcpu, intid);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000252}
253
254void vgic_mmio_write_sactive(struct kvm_vcpu *vcpu,
255 gpa_t addr, unsigned int len,
256 unsigned long val)
257{
258 u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
259 int i;
260
Christoffer Dall35a2d582016-05-20 15:25:28 +0200261 vgic_change_active_prepare(vcpu, intid);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000262 for_each_set_bit(i, &val, len * 8) {
263 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Christoffer Dall35a2d582016-05-20 15:25:28 +0200264 vgic_mmio_change_active(vcpu, irq, true);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100265 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000266 }
Christoffer Dall35a2d582016-05-20 15:25:28 +0200267 vgic_change_active_finish(vcpu, intid);
Andre Przywara69b6fe02015-12-01 12:40:58 +0000268}
269
Andre Przywara055658b2015-12-01 14:34:02 +0000270unsigned long vgic_mmio_read_priority(struct kvm_vcpu *vcpu,
271 gpa_t addr, unsigned int len)
272{
273 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
274 int i;
275 u64 val = 0;
276
277 for (i = 0; i < len; i++) {
278 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
279
280 val |= (u64)irq->priority << (i * 8);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100281
282 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara055658b2015-12-01 14:34:02 +0000283 }
284
285 return val;
286}
287
288/*
289 * We currently don't handle changing the priority of an interrupt that
290 * is already pending on a VCPU. If there is a need for this, we would
291 * need to make this VCPU exit and re-evaluate the priorities, potentially
292 * leading to this interrupt getting presented now to the guest (if it has
293 * been masked by the priority mask before).
294 */
295void vgic_mmio_write_priority(struct kvm_vcpu *vcpu,
296 gpa_t addr, unsigned int len,
297 unsigned long val)
298{
299 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
300 int i;
301
302 for (i = 0; i < len; i++) {
303 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
304
305 spin_lock(&irq->irq_lock);
306 /* Narrow the priority range to what we actually support */
307 irq->priority = (val >> (i * 8)) & GENMASK(7, 8 - VGIC_PRI_BITS);
308 spin_unlock(&irq->irq_lock);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100309
310 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara055658b2015-12-01 14:34:02 +0000311 }
312}
313
Andre Przywara79717e42015-12-01 12:41:31 +0000314unsigned long vgic_mmio_read_config(struct kvm_vcpu *vcpu,
315 gpa_t addr, unsigned int len)
316{
317 u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
318 u32 value = 0;
319 int i;
320
321 for (i = 0; i < len * 4; i++) {
322 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
323
324 if (irq->config == VGIC_CONFIG_EDGE)
325 value |= (2U << (i * 2));
Andre Przywara5dd4b922016-07-15 12:43:27 +0100326
327 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara79717e42015-12-01 12:41:31 +0000328 }
329
330 return value;
331}
332
333void vgic_mmio_write_config(struct kvm_vcpu *vcpu,
334 gpa_t addr, unsigned int len,
335 unsigned long val)
336{
337 u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
338 int i;
339
340 for (i = 0; i < len * 4; i++) {
Andre Przywara5dd4b922016-07-15 12:43:27 +0100341 struct vgic_irq *irq;
Andre Przywara79717e42015-12-01 12:41:31 +0000342
343 /*
344 * The configuration cannot be changed for SGIs in general,
345 * for PPIs this is IMPLEMENTATION DEFINED. The arch timer
346 * code relies on PPIs being level triggered, so we also
347 * make them read-only here.
348 */
349 if (intid + i < VGIC_NR_PRIVATE_IRQS)
350 continue;
351
Andre Przywara5dd4b922016-07-15 12:43:27 +0100352 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
Andre Przywara79717e42015-12-01 12:41:31 +0000353 spin_lock(&irq->irq_lock);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100354
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100355 if (test_bit(i * 2 + 1, &val))
Andre Przywara79717e42015-12-01 12:41:31 +0000356 irq->config = VGIC_CONFIG_EDGE;
Christoffer Dall8694e4d2017-01-23 14:07:18 +0100357 else
Andre Przywara79717e42015-12-01 12:41:31 +0000358 irq->config = VGIC_CONFIG_LEVEL;
Andre Przywara5dd4b922016-07-15 12:43:27 +0100359
Andre Przywara79717e42015-12-01 12:41:31 +0000360 spin_unlock(&irq->irq_lock);
Andre Przywara5dd4b922016-07-15 12:43:27 +0100361 vgic_put_irq(vcpu->kvm, irq);
Andre Przywara79717e42015-12-01 12:41:31 +0000362 }
363}
364
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100365static int match_region(const void *key, const void *elt)
366{
367 const unsigned int offset = (unsigned long)key;
368 const struct vgic_register_region *region = elt;
369
370 if (offset < region->reg_offset)
371 return -1;
372
373 if (offset >= region->reg_offset + region->len)
374 return 1;
375
376 return 0;
377}
378
379/* Find the proper register handler entry given a certain address offset. */
380static const struct vgic_register_region *
381vgic_find_mmio_region(const struct vgic_register_region *region, int nr_regions,
382 unsigned int offset)
383{
384 return bsearch((void *)(uintptr_t)offset, region, nr_regions,
385 sizeof(region[0]), match_region);
386}
387
388/*
389 * kvm_mmio_read_buf() returns a value in a format where it can be converted
390 * to a byte array and be directly observed as the guest wanted it to appear
391 * in memory if it had done the store itself, which is LE for the GIC, as the
392 * guest knows the GIC is always LE.
393 *
394 * We convert this value to the CPUs native format to deal with it as a data
395 * value.
396 */
397unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len)
398{
399 unsigned long data = kvm_mmio_read_buf(val, len);
400
401 switch (len) {
402 case 1:
403 return data;
404 case 2:
405 return le16_to_cpu(data);
406 case 4:
407 return le32_to_cpu(data);
408 default:
409 return le64_to_cpu(data);
410 }
411}
412
413/*
414 * kvm_mmio_write_buf() expects a value in a format such that if converted to
415 * a byte array it is observed as the guest would see it if it could perform
416 * the load directly. Since the GIC is LE, and the guest knows this, the
417 * guest expects a value in little endian format.
418 *
419 * We convert the data value from the CPUs native format to LE so that the
420 * value is returned in the proper format.
421 */
422void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
423 unsigned long data)
424{
425 switch (len) {
426 case 1:
427 break;
428 case 2:
429 data = cpu_to_le16(data);
430 break;
431 case 4:
432 data = cpu_to_le32(data);
433 break;
434 default:
435 data = cpu_to_le64(data);
436 }
437
438 kvm_mmio_write_buf(buf, len, data);
439}
440
441static
442struct vgic_io_device *kvm_to_vgic_iodev(const struct kvm_io_device *dev)
443{
444 return container_of(dev, struct vgic_io_device, dev);
445}
446
Andre Przywara112b0b82016-11-01 18:00:08 +0000447static bool check_region(const struct kvm *kvm,
448 const struct vgic_register_region *region,
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100449 gpa_t addr, int len)
450{
Andre Przywara112b0b82016-11-01 18:00:08 +0000451 int flags, nr_irqs = kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
452
453 switch (len) {
454 case sizeof(u8):
455 flags = VGIC_ACCESS_8bit;
456 break;
457 case sizeof(u32):
458 flags = VGIC_ACCESS_32bit;
459 break;
460 case sizeof(u64):
461 flags = VGIC_ACCESS_64bit;
462 break;
463 default:
464 return false;
465 }
466
467 if ((region->access_flags & flags) && IS_ALIGNED(addr, len)) {
468 if (!region->bits_per_irq)
469 return true;
470
471 /* Do we access a non-allocated IRQ? */
472 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;
473 }
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100474
475 return false;
476}
477
478static int dispatch_mmio_read(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
479 gpa_t addr, int len, void *val)
480{
481 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
482 const struct vgic_register_region *region;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100483 unsigned long data = 0;
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100484
485 region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,
486 addr - iodev->base_addr);
Andre Przywara112b0b82016-11-01 18:00:08 +0000487 if (!region || !check_region(vcpu->kvm, region, addr, len)) {
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100488 memset(val, 0, len);
489 return 0;
490 }
491
Andre Przywara59c5ab42016-07-15 12:43:30 +0100492 switch (iodev->iodev_type) {
493 case IODEV_CPUIF:
Eric Auger9d5fcb92016-07-18 10:57:36 +0000494 data = region->read(vcpu, addr, len);
495 break;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100496 case IODEV_DIST:
497 data = region->read(vcpu, addr, len);
498 break;
499 case IODEV_REDIST:
500 data = region->read(iodev->redist_vcpu, addr, len);
501 break;
502 case IODEV_ITS:
503 data = region->its_read(vcpu->kvm, iodev->its, addr, len);
504 break;
505 }
506
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100507 vgic_data_host_to_mmio_bus(val, len, data);
508 return 0;
509}
510
511static int dispatch_mmio_write(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
512 gpa_t addr, int len, const void *val)
513{
514 struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
515 const struct vgic_register_region *region;
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100516 unsigned long data = vgic_data_mmio_bus_to_host(val, len);
517
518 region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,
519 addr - iodev->base_addr);
Andre Przywara112b0b82016-11-01 18:00:08 +0000520 if (!region || !check_region(vcpu->kvm, region, addr, len))
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100521 return 0;
522
Andre Przywara59c5ab42016-07-15 12:43:30 +0100523 switch (iodev->iodev_type) {
524 case IODEV_CPUIF:
Eric Auger9d5fcb92016-07-18 10:57:36 +0000525 region->write(vcpu, addr, len, data);
Andre Przywara59c5ab42016-07-15 12:43:30 +0100526 break;
527 case IODEV_DIST:
528 region->write(vcpu, addr, len, data);
529 break;
530 case IODEV_REDIST:
531 region->write(iodev->redist_vcpu, addr, len, data);
532 break;
533 case IODEV_ITS:
534 region->its_write(vcpu->kvm, iodev->its, addr, len, data);
535 break;
536 }
537
Marc Zyngier4493b1c2016-04-26 11:06:12 +0100538 return 0;
539}
540
541struct kvm_io_device_ops kvm_io_gic_ops = {
542 .read = dispatch_mmio_read,
543 .write = dispatch_mmio_write,
544};
Andre Przywarafb848db2016-04-26 21:32:49 +0100545
546int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
547 enum vgic_type type)
548{
549 struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;
550 int ret = 0;
551 unsigned int len;
552
553 switch (type) {
554 case VGIC_V2:
555 len = vgic_v2_init_dist_iodev(io_device);
556 break;
Andre Przywaraed9b8ce2015-12-01 14:34:34 +0000557 case VGIC_V3:
558 len = vgic_v3_init_dist_iodev(io_device);
559 break;
Andre Przywarafb848db2016-04-26 21:32:49 +0100560 default:
561 BUG_ON(1);
562 }
563
564 io_device->base_addr = dist_base_address;
Andre Przywara59c5ab42016-07-15 12:43:30 +0100565 io_device->iodev_type = IODEV_DIST;
Andre Przywarafb848db2016-04-26 21:32:49 +0100566 io_device->redist_vcpu = NULL;
567
568 mutex_lock(&kvm->slots_lock);
569 ret = kvm_io_bus_register_dev(kvm, KVM_MMIO_BUS, dist_base_address,
570 len, &io_device->dev);
571 mutex_unlock(&kvm->slots_lock);
572
573 return ret;
574}