Searched refs:io_device (Results 1 – 1 of 1) sorted by relevance
1061 struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev; in vgic_register_dist_iodev() local1067 len = vgic_v2_init_dist_iodev(io_device); in vgic_register_dist_iodev()1070 len = vgic_v3_init_dist_iodev(io_device); in vgic_register_dist_iodev()1076 io_device->base_addr = dist_base_address; in vgic_register_dist_iodev()1077 io_device->iodev_type = IODEV_DIST; in vgic_register_dist_iodev()1078 io_device->redist_vcpu = NULL; in vgic_register_dist_iodev()1082 len, &io_device->dev); in vgic_register_dist_iodev()
