vgic_v3_init_dist_iodev  931 virt/kvm/arm/vgic/vgic-mmio.c 		len = vgic_v3_init_dist_iodev(io_device);
vgic_v3_init_dist_iodev  203 virt/kvm/arm/vgic/vgic-mmio.h unsigned int vgic_v3_init_dist_iodev(struct vgic_io_device *dev);