__vgic_v5_restore_ppi_state - Linux

Symbol: __vgic_v5_restore_ppi_state

arch/arm64/include/asm/kvm_hyp.h

void __vgic_v5_restore_ppi_state(struct vgic_v5_cpu_if *cpu_if);

arch/arm64/kvm/hyp/nvhe/switch.c

__vgic_v5_restore_ppi_state(&vcpu->arch.vgic_cpu.vgic_v5);

arch/arm64/kvm/vgic/vgic-v5.c

__vgic_v5_restore_ppi_state(cpu_if);