Symbol: vgic_its_free_device
arch/arm64/kvm/vgic/vgic-its.c
1115
vgic_its_free_device(kvm, its, cur);
arch/arm64/kvm/vgic/vgic-its.c
1175
vgic_its_free_device(kvm, its, device);
arch/arm64/kvm/vgic/vgic-its.c
2319
vgic_its_free_device(its->dev->kvm, its, dev);