Symbol: vgic_its_free_device_list
arch/arm64/kvm/vgic/vgic-its.c
1685
vgic_its_free_device_list(kvm, its);
arch/arm64/kvm/vgic/vgic-its.c
1910
vgic_its_free_device_list(kvm, its);
arch/arm64/kvm/vgic/vgic-its.c
2441
vgic_its_free_device_list(its->dev->kvm, its);
arch/arm64/kvm/vgic/vgic-its.c
2634
vgic_its_free_device_list(kvm, its);