vgic_read_irq_line_level_info  983 virt/kvm/arm/vgic/vgic-mmio-v3.c 		*val = vgic_read_irq_line_level_info(vcpu, intid);
vgic_read_irq_line_level_info  196 virt/kvm/arm/vgic/vgic-mmio.h u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid);