Symbol: vgic_read_irq_line_level_info
arch/arm64/kvm/vgic/vgic-mmio-v3.c
1169
*val = vgic_read_irq_line_level_info(vcpu, intid);
arch/arm64/kvm/vgic/vgic-mmio.h
210
u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid);