Symbol: vgic_v5_has_pending_ppi
arch/arm64/kvm/vgic/vgic.c
1237
return vgic_v5_has_pending_ppi(vcpu);
arch/arm64/kvm/vgic/vgic.h
371
bool vgic_v5_has_pending_ppi(struct kvm_vcpu *vcpu);