vgic_v2_init_dist_iodev  928 virt/kvm/arm/vgic/vgic-mmio.c 		len = vgic_v2_init_dist_iodev(io_device);
vgic_v2_init_dist_iodev  201 virt/kvm/arm/vgic/vgic-mmio.h unsigned int vgic_v2_init_dist_iodev(struct vgic_io_device *dev);