vgic_v4_get_vlpi_state - Linux

Symbol: vgic_v4_get_vlpi_state

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

vgic_v4_get_vlpi_state(irq, &is_pending);

arch/arm64/kvm/vgic/vgic.h

void vgic_v4_get_vlpi_state(struct vgic_irq *irq, bool *val);