825 	kvm_io_bus_unregister_dev(kvm, KVM_MMIO_BUS, &dist->dist_iodev.dev);  in vgic_v3_map_resources()
828 			if (iodevs[i].dev.ops)  in vgic_v3_map_resources()
830 							  &iodevs[i].dev);  in vgic_v3_map_resources()
993 static int vgic_v3_create(struct kvm_device *dev, u32 type)  in vgic_v3_create()  argument
995 	return kvm_vgic_create(dev->kvm, type);  in vgic_v3_create()
998 static void vgic_v3_destroy(struct kvm_device *dev)  in vgic_v3_destroy()  argument
1000 	kfree(dev);  in vgic_v3_destroy()
1003 static int vgic_v3_set_attr(struct kvm_device *dev,  in vgic_v3_set_attr()  argument
1008 	ret = vgic_set_common_attr(dev, attr);  in vgic_v3_set_attr()
1021 static int vgic_v3_get_attr(struct kvm_device *dev,  in vgic_v3_get_attr()  argument
1026 	ret = vgic_get_common_attr(dev, attr);  in vgic_v3_get_attr()
1039 static int vgic_v3_has_attr(struct kvm_device *dev,  in vgic_v3_has_attr()  argument