Symbol: __vgic_v5_save_ppi_state
arch/arm64/include/asm/kvm_hyp.h
94
void __vgic_v5_save_ppi_state(struct vgic_v5_cpu_if *cpu_if);
arch/arm64/kvm/hyp/nvhe/switch.c
118
__vgic_v5_save_ppi_state(&vcpu->arch.vgic_cpu.vgic_v5);
arch/arm64/kvm/vgic/vgic-v5.c
516
__vgic_v5_save_ppi_state(cpu_if);