Symbol: kvm_to_vgic_iodev
arch/arm64/kvm/vgic/vgic-mmio.c
1017
struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);
arch/arm64/kvm/vgic/vgic-mmio.c
1049
struct vgic_io_device *iodev = kvm_to_vgic_iodev(dev);