Symbol: collection_to_vcpu
arch/arm64/kvm/vgic/vgic-its.c
1075
vcpu = collection_to_vcpu(kvm, collection);
arch/arm64/kvm/vgic/vgic-its.c
1335
vcpu = collection_to_vcpu(kvm, collection);
arch/arm64/kvm/vgic/vgic-its.c
355
vcpu = collection_to_vcpu(kvm, ite->collection);
arch/arm64/kvm/vgic/vgic-its.c
636
vcpu = collection_to_vcpu(kvm, ite->collection);
arch/arm64/kvm/vgic/vgic-its.c
841
vcpu = collection_to_vcpu(kvm, collection);