virt/kvm/arm/vgic/vgic-mmio.c

   1 /*
   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
  24 unsigned long vgic_mmio_read_raz(struct kvm_vcpu *vcpu,
  25                                  gpa_t addr, unsigned int len)
  26 {
  27         return 0;
  28 }
  29
  30 unsigned long vgic_mmio_read_rao(struct kvm_vcpu *vcpu,
  31                                  gpa_t addr, unsigned int len)
  32 {
  33         return -1UL;
  34 }
  35
  36 void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,
  37                         unsigned int len, unsigned long val)
  38 {
  39         /* Ignore */
  40 }
  41
  42 /*
  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  */
  46 unsigned 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);
  59
  60                 vgic_put_irq(vcpu->kvm, irq);
  61         }
  62
  63         return value;
  64 }
  65
  66 void 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);
  79
  80                 vgic_put_irq(vcpu->kvm, irq);
  81         }
  82 }
  83
  84 void 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);
  99                 vgic_put_irq(vcpu->kvm, irq);
 100         }
 101 }
 102
 103 unsigned 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
 114                 if (irq_is_pending(irq))
 115                         value |= (1U << i);
 116
 117                 vgic_put_irq(vcpu->kvm, irq);
 118         }
 119
 120         return value;
 121 }
 122
 123 void 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);
 134                 irq->pending_latch = true;
 135
 136                 vgic_queue_irq_unlock(vcpu->kvm, irq);
 137                 vgic_put_irq(vcpu->kvm, irq);
 138         }
 139 }
 140
 141 void 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
 153                 irq->pending_latch = false;
 154
 155                 spin_unlock(&irq->irq_lock);
 156                 vgic_put_irq(vcpu->kvm, irq);
 157         }
 158 }
 159
 160 unsigned 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);
 173
 174                 vgic_put_irq(vcpu->kvm, irq);
 175         }
 176
 177         return value;
 178 }
 179
 180 static void vgic_mmio_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq,
 181                                     bool new_active_state)
 182 {
 183         struct kvm_vcpu *requester_vcpu;
 184         spin_lock(&irq->irq_lock);
 185
 186         /*
 187          * The vcpu parameter here can mean multiple things depending on how
 188          * this function is called; when handling a trap from the kernel it
 189          * depends on the GIC version, and these functions are also called as
 190          * part of save/restore from userspace.
 191          *
 192          * Therefore, we have to figure out the requester in a reliable way.
 193          *
 194          * When accessing VGIC state from user space, the requester_vcpu is
 195          * NULL, which is fine, because we guarantee that no VCPUs are running
 196          * when accessing VGIC state from user space so irq->vcpu->cpu is
 197          * always -1.
 198          */
 199         requester_vcpu = kvm_arm_get_running_vcpu();
 200
 201         /*
 202          * If this virtual IRQ was written into a list register, we
 203          * have to make sure the CPU that runs the VCPU thread has
 204          * synced back the LR state to the struct vgic_irq.
 205          *
 206          * As long as the conditions below are true, we know the VCPU thread
 207          * may be on its way back from the guest (we kicked the VCPU thread in
 208          * vgic_change_active_prepare)  and still has to sync back this IRQ,
 209          * so we release and re-acquire the spin_lock to let the other thread
 210          * sync back the IRQ.
 211          */
 212         while (irq->vcpu && /* IRQ may have state in an LR somewhere */
 213                irq->vcpu != requester_vcpu && /* Current thread is not the VCPU thread */
 214                irq->vcpu->cpu != -1) /* VCPU thread is running */
 215                 cond_resched_lock(&irq->irq_lock);
 216
 217         irq->active = new_active_state;
 218         if (new_active_state)
 219                 vgic_queue_irq_unlock(vcpu->kvm, irq);
 220         else
 221                 spin_unlock(&irq->irq_lock);
 222 }
 223
 224 /*
 225  * If we are fiddling with an IRQ's active state, we have to make sure the IRQ
 226  * is not queued on some running VCPU's LRs, because then the change to the
 227  * active state can be overwritten when the VCPU's state is synced coming back
 228  * from the guest.
 229  *
 230  * For shared interrupts, we have to stop all the VCPUs because interrupts can
 231  * be migrated while we don't hold the IRQ locks and we don't want to be
 232  * chasing moving targets.
 233  *
 234  * For private interrupts, we only have to make sure the single and only VCPU
 235  * that can potentially queue the IRQ is stopped.
 236  */
 237 static void vgic_change_active_prepare(struct kvm_vcpu *vcpu, u32 intid)
 238 {
 239         if (intid < VGIC_NR_PRIVATE_IRQS)
 240                 kvm_arm_halt_vcpu(vcpu);
 241         else
 242                 kvm_arm_halt_guest(vcpu->kvm);
 243 }
 244
 245 /* See vgic_change_active_prepare */
 246 static void vgic_change_active_finish(struct kvm_vcpu *vcpu, u32 intid)
 247 {
 248         if (intid < VGIC_NR_PRIVATE_IRQS)
 249                 kvm_arm_resume_vcpu(vcpu);
 250         else
 251                 kvm_arm_resume_guest(vcpu->kvm);
 252 }
 253
 254 void vgic_mmio_write_cactive(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
 261         vgic_change_active_prepare(vcpu, intid);
 262         for_each_set_bit(i, &val, len * 8) {
 263                 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 264                 vgic_mmio_change_active(vcpu, irq, false);
 265                 vgic_put_irq(vcpu->kvm, irq);
 266         }
 267         vgic_change_active_finish(vcpu, intid);
 268 }
 269
 270 void vgic_mmio_write_sactive(struct kvm_vcpu *vcpu,
 271                              gpa_t addr, unsigned int len,
 272                              unsigned long val)
 273 {
 274         u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
 275         int i;
 276
 277         vgic_change_active_prepare(vcpu, intid);
 278         for_each_set_bit(i, &val, len * 8) {
 279                 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 280                 vgic_mmio_change_active(vcpu, irq, true);
 281                 vgic_put_irq(vcpu->kvm, irq);
 282         }
 283         vgic_change_active_finish(vcpu, intid);
 284 }
 285
 286 unsigned long vgic_mmio_read_priority(struct kvm_vcpu *vcpu,
 287                                       gpa_t addr, unsigned int len)
 288 {
 289         u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
 290         int i;
 291         u64 val = 0;
 292
 293         for (i = 0; i < len; i++) {
 294                 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 295
 296                 val |= (u64)irq->priority << (i * 8);
 297
 298                 vgic_put_irq(vcpu->kvm, irq);
 299         }
 300
 301         return val;
 302 }
 303
 304 /*
 305  * We currently don't handle changing the priority of an interrupt that
 306  * is already pending on a VCPU. If there is a need for this, we would
 307  * need to make this VCPU exit and re-evaluate the priorities, potentially
 308  * leading to this interrupt getting presented now to the guest (if it has
 309  * been masked by the priority mask before).
 310  */
 311 void vgic_mmio_write_priority(struct kvm_vcpu *vcpu,
 312                               gpa_t addr, unsigned int len,
 313                               unsigned long val)
 314 {
 315         u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
 316         int i;
 317
 318         for (i = 0; i < len; i++) {
 319                 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 320
 321                 spin_lock(&irq->irq_lock);
 322                 /* Narrow the priority range to what we actually support */
 323                 irq->priority = (val >> (i * 8)) & GENMASK(7, 8 - VGIC_PRI_BITS);
 324                 spin_unlock(&irq->irq_lock);
 325
 326                 vgic_put_irq(vcpu->kvm, irq);
 327         }
 328 }
 329
 330 unsigned long vgic_mmio_read_config(struct kvm_vcpu *vcpu,
 331                                     gpa_t addr, unsigned int len)
 332 {
 333         u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
 334         u32 value = 0;
 335         int i;
 336
 337         for (i = 0; i < len * 4; i++) {
 338                 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 339
 340                 if (irq->config == VGIC_CONFIG_EDGE)
 341                         value |= (2U << (i * 2));
 342
 343                 vgic_put_irq(vcpu->kvm, irq);
 344         }
 345
 346         return value;
 347 }
 348
 349 void vgic_mmio_write_config(struct kvm_vcpu *vcpu,
 350                             gpa_t addr, unsigned int len,
 351                             unsigned long val)
 352 {
 353         u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
 354         int i;
 355
 356         for (i = 0; i < len * 4; i++) {
 357                 struct vgic_irq *irq;
 358
 359                 /*
 360                  * The configuration cannot be changed for SGIs in general,
 361                  * for PPIs this is IMPLEMENTATION DEFINED. The arch timer
 362                  * code relies on PPIs being level triggered, so we also
 363                  * make them read-only here.
 364                  */
 365                 if (intid + i < VGIC_NR_PRIVATE_IRQS)
 366                         continue;
 367
 368                 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 369                 spin_lock(&irq->irq_lock);
 370
 371                 if (test_bit(i * 2 + 1, &val))
 372                         irq->config = VGIC_CONFIG_EDGE;
 373                 else
 374                         irq->config = VGIC_CONFIG_LEVEL;
 375
 376                 spin_unlock(&irq->irq_lock);
 377                 vgic_put_irq(vcpu->kvm, irq);
 378         }
 379 }
 380
 381 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)
 382 {
 383         int i;
 384         u64 val = 0;
 385         int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
 386
 387         for (i = 0; i < 32; i++) {
 388                 struct vgic_irq *irq;
 389
 390                 if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
 391                         continue;
 392
 393                 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 394                 if (irq->config == VGIC_CONFIG_LEVEL && irq->line_level)
 395                         val |= (1U << i);
 396
 397                 vgic_put_irq(vcpu->kvm, irq);
 398         }
 399
 400         return val;
 401 }
 402
 403 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,
 404                                     const u64 val)
 405 {
 406         int i;
 407         int nr_irqs = vcpu->kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
 408
 409         for (i = 0; i < 32; i++) {
 410                 struct vgic_irq *irq;
 411                 bool new_level;
 412
 413                 if ((intid + i) < VGIC_NR_SGIS || (intid + i) >= nr_irqs)
 414                         continue;
 415
 416                 irq = vgic_get_irq(vcpu->kvm, vcpu, intid + i);
 417
 418                 /*
 419                  * Line level is set irrespective of irq type
 420                  * (level or edge) to avoid dependency that VM should
 421                  * restore irq config before line level.
 422                  */
 423                 new_level = !!(val & (1U << i));
 424                 spin_lock(&irq->irq_lock);
 425                 irq->line_level = new_level;
 426                 if (new_level)
 427                         vgic_queue_irq_unlock(vcpu->kvm, irq);
 428                 else
 429                         spin_unlock(&irq->irq_lock);
 430
 431                 vgic_put_irq(vcpu->kvm, irq);
 432         }
 433 }
 434
 435 static int match_region(const void *key, const void *elt)
 436 {
 437         const unsigned int offset = (unsigned long)key;
 438         const struct vgic_register_region *region = elt;
 439
 440         if (offset < region->reg_offset)
 441                 return -1;
 442
 443         if (offset >= region->reg_offset + region->len)
 444                 return 1;
 445
 446         return 0;
 447 }
 448
 449 const struct vgic_register_region *
 450 vgic_find_mmio_region(const struct vgic_register_region *regions,
 451                       int nr_regions, unsigned int offset)
 452 {
 453         return bsearch((void *)(uintptr_t)offset, regions, nr_regions,
 454                        sizeof(regions[0]), match_region);
 455 }
 456
 457 void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr)
 458 {
 459         if (kvm_vgic_global_state.type == VGIC_V2)
 460                 vgic_v2_set_vmcr(vcpu, vmcr);
 461         else
 462                 vgic_v3_set_vmcr(vcpu, vmcr);
 463 }
 464
 465 void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr)
 466 {
 467         if (kvm_vgic_global_state.type == VGIC_V2)
 468                 vgic_v2_get_vmcr(vcpu, vmcr);
 469         else
 470                 vgic_v3_get_vmcr(vcpu, vmcr);
 471 }
 472
 473 /*
 474  * kvm_mmio_read_buf() returns a value in a format where it can be converted
 475  * to a byte array and be directly observed as the guest wanted it to appear
 476  * in memory if it had done the store itself, which is LE for the GIC, as the
 477  * guest knows the GIC is always LE.
 478  *
 479  * We convert this value to the CPUs native format to deal with it as a data
 480  * value.
 481  */
 482 unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len)
 483 {
 484         unsigned long data = kvm_mmio_read_buf(val, len);
 485
 486         switch (len) {
 487         case 1:
 488                 return data;
 489         case 2:
 490                 return le16_to_cpu(data);
 491         case 4:
 492                 return le32_to_cpu(data);
 493         default:
 494                 return le64_to_cpu(data);
 495         }
 496 }
 497
 498 /*
 499  * kvm_mmio_write_buf() expects a value in a format such that if converted to
 500  * a byte array it is observed as the guest would see it if it could perform
 501  * the load directly.  Since the GIC is LE, and the guest knows this, the
 502  * guest expects a value in little endian format.
 503  *
 504  * We convert the data value from the CPUs native format to LE so that the
 505  * value is returned in the proper format.
 506  */
 507 void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
 508                                 unsigned long data)
 509 {
 510         switch (len) {
 511         case 1:
 512                 break;
 513         case 2:
 514                 data = cpu_to_le16(data);
 515                 break;
 516         case 4:
 517                 data = cpu_to_le32(data);
 518                 break;
 519         default:
 520                 data = cpu_to_le64(data);
 521         }
 522
 523         kvm_mmio_write_buf(buf, len, data);
 524 }
 525
 526 static
 527 struct vgic_io_device *kvm_to_vgic_iodev(const struct kvm_io_device *dev)
 528 {
 529         return container_of(dev, struct vgic_io_device, dev);
 530 }
 531
 532 static bool check_region(const struct kvm *kvm,
 533                          const struct vgic_register_region *region,
 534                          gpa_t addr, int len)
 535 {
 536         int flags, nr_irqs = kvm->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS;
 537
 538         switch (len) {
 539         case sizeof(u8):
 540                 flags = VGIC_ACCESS_8bit;
 541                 break;
 542         case sizeof(u32):
 543                 flags = VGIC_ACCESS_32bit;
 544                 break;
 545         case sizeof(u64):
 546                 flags = VGIC_ACCESS_64bit;
 547                 break;
 548         default:
 549                 return false;
 550         }
 551
 552         if ((region->access_flags & flags) && IS_ALIGNED(addr, len)) {
 553                 if (!region->bits_per_irq)
 554                         return true;
 555
 556                 /* Do we access a non-allocated IRQ? */
 557                 return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;
 558         }
 559
 560         return false;
 561 }
 562
 563 const struct vgic_register_region *
 564 vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,
 565                      gpa_t addr, int len)
 566 {
 567         const struct vgic_register_region *region;
 568
 569         region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,
 570                                        addr - iodev->base_addr);
 571         if (!region || !check_region(vcpu->kvm, region, addr, len))
 572                 return NULL;
 573
 574         return region;
 575 }
 576
 577 static int vgic_uaccess_read(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
 578                              gpa_t addr, u32 *val)
 579 {
 580         struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
 581         const struct vgic_register_region *region;
 582         struct kvm_vcpu *r_vcpu;
 583
 584         region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
 585         if (!region) {
 586                 *val = 0;
 587                 return 0;
 588         }
 589
 590         r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;
 591         if (region->uaccess_read)
 592                 *val = region->uaccess_read(r_vcpu, addr, sizeof(u32));
 593         else
 594                 *val = region->read(r_vcpu, addr, sizeof(u32));
 595
 596         return 0;
 597 }
 598
 599 static int vgic_uaccess_write(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
 600                               gpa_t addr, const u32 *val)
 601 {
 602         struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
 603         const struct vgic_register_region *region;
 604         struct kvm_vcpu *r_vcpu;
 605
 606         region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
 607         if (!region)
 608                 return 0;
 609
 610         r_vcpu = iodev->redist_vcpu ? iodev->redist_vcpu : vcpu;
 611         if (region->uaccess_write)
 612                 region->uaccess_write(r_vcpu, addr, sizeof(u32), *val);
 613         else
 614                 region->write(r_vcpu, addr, sizeof(u32), *val);
 615
 616         return 0;
 617 }
 618
 619 /*
 620  * Userland access to VGIC registers.
 621  */
 622 int vgic_uaccess(struct kvm_vcpu *vcpu, struct vgic_io_device *dev,
 623                  bool is_write, int offset, u32 *val)
 624 {
 625         if (is_write)
 626                 return vgic_uaccess_write(vcpu, &dev->dev, offset, val);
 627         else
 628                 return vgic_uaccess_read(vcpu, &dev->dev, offset, val);
 629 }
 630
 631 static int dispatch_mmio_read(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
 632                               gpa_t addr, int len, void *val)
 633 {
 634         struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
 635         const struct vgic_register_region *region;
 636         unsigned long data = 0;
 637
 638         region = vgic_get_mmio_region(vcpu, iodev, addr, len);
 639         if (!region) {
 640                 memset(val, 0, len);
 641                 return 0;
 642         }
 643
 644         switch (iodev->iodev_type) {
 645         case IODEV_CPUIF:
 646                 data = region->read(vcpu, addr, len);
 647                 break;
 648         case IODEV_DIST:
 649                 data = region->read(vcpu, addr, len);
 650                 break;
 651         case IODEV_REDIST:
 652                 data = region->read(iodev->redist_vcpu, addr, len);
 653                 break;
 654         case IODEV_ITS:
 655                 data = region->its_read(vcpu->kvm, iodev->its, addr, len);
 656                 break;
 657         }
 658
 659         vgic_data_host_to_mmio_bus(val, len, data);
 660         return 0;
 661 }
 662
 663 static int dispatch_mmio_write(struct kvm_vcpu *vcpu, struct kvm_io_device *dev,
 664                                gpa_t addr, int len, const void *val)
 665 {
 666         struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
 667         const struct vgic_register_region *region;
 668         unsigned long data = vgic_data_mmio_bus_to_host(val, len);
 669
 670         region = vgic_get_mmio_region(vcpu, iodev, addr, len);
 671         if (!region)
 672                 return 0;
 673
 674         switch (iodev->iodev_type) {
 675         case IODEV_CPUIF:
 676                 region->write(vcpu, addr, len, data);
 677                 break;
 678         case IODEV_DIST:
 679                 region->write(vcpu, addr, len, data);
 680                 break;
 681         case IODEV_REDIST:
 682                 region->write(iodev->redist_vcpu, addr, len, data);
 683                 break;
 684         case IODEV_ITS:
 685                 region->its_write(vcpu->kvm, iodev->its, addr, len, data);
 686                 break;
 687         }
 688
 689         return 0;
 690 }
 691
 692 struct kvm_io_device_ops kvm_io_gic_ops = {
 693         .read = dispatch_mmio_read,
 694         .write = dispatch_mmio_write,
 695 };
 696
 697 int vgic_register_dist_iodev(struct kvm *kvm, gpa_t dist_base_address,
 698                              enum vgic_type type)
 699 {
 700         struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev;
 701         int ret = 0;
 702         unsigned int len;
 703
 704         switch (type) {
 705         case VGIC_V2:
 706                 len = vgic_v2_init_dist_iodev(io_device);
 707                 break;
 708         case VGIC_V3:
 709                 len = vgic_v3_init_dist_iodev(io_device);
 710                 break;
 711         default:
 712                 BUG_ON(1);
 713         }
 714
 715         io_device->base_addr = dist_base_address;
 716         io_device->iodev_type = IODEV_DIST;
 717         io_device->redist_vcpu = NULL;
 718
 719         mutex_lock(&kvm->slots_lock);
 720         ret = kvm_io_bus_register_dev(kvm, KVM_MMIO_BUS, dist_base_address,
 721                                       len, &io_device->dev);
 722         mutex_unlock(&kvm->slots_lock);
 723
 724         return ret;
 725 }