vgic_get_mmio_region
region = vgic_get_mmio_region(vcpu, &iodev, addr, sizeof(u32));
region = vgic_get_mmio_region(vcpu, &iodev, addr, sizeof(u32));
region = vgic_get_mmio_region(vcpu, iodev, addr, len);
region = vgic_get_mmio_region(vcpu, iodev, addr, len);
region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
region = vgic_get_mmio_region(vcpu, iodev, addr, sizeof(u32));
vgic_get_mmio_region(struct kvm_vcpu *vcpu, struct vgic_io_device *iodev,