Symbol: vgic_v5_set_ppi_dvi
arch/arm64/kvm/arch_timer.c
67
.set_direct_injection = vgic_v5_set_ppi_dvi,
arch/arm64/kvm/vgic/vgic-v5.c
280
.set_direct_injection = vgic_v5_set_ppi_dvi,
include/kvm/arm_vgic.h
633
void vgic_v5_set_ppi_dvi(struct kvm_vcpu *vcpu, struct vgic_irq *irq, bool dvi);