Symbol: vgic_sort_info
arch/arm64/kvm/vgic/vgic.c
298
struct vgic_sort_info *info = priv;
arch/arm64/kvm/vgic/vgic.c
349
struct vgic_sort_info info = { .vcpu = vcpu, };