Searched refs:dist_iodev (Results 1 – 2 of 2) sorted by relevance
263 struct vgic_io_device dist_iodev; member
1095 struct vgic_io_device *io_device = &kvm->arch.vgic.dist_iodev; in vgic_register_dist_iodev()