vgic_v2_init_dist_iodev - Linux

Symbol: vgic_v2_init_dist_iodev

arch/arm64/kvm/vgic/vgic-mmio.c

len = vgic_v2_init_dist_iodev(io_device);

arch/arm64/kvm/vgic/vgic-mmio.h

unsigned int vgic_v2_init_dist_iodev(struct vgic_io_device *dev);