vgic_v5_fold_ppi_state - Linux

Symbol: vgic_v5_fold_ppi_state

arch/arm64/kvm/vgic/vgic.c

vgic_v5_fold_ppi_state(vcpu);

arch/arm64/kvm/vgic/vgic.h

void vgic_v5_fold_ppi_state(struct kvm_vcpu *vcpu);