Symbol: vgic_prune_ap_list
arch/arm64/kvm/vgic/vgic.c
1027
vgic_prune_ap_list(vcpu);
arch/arm64/kvm/vgic/vgic.c
1037
vgic_prune_ap_list(vcpu);