Searched refs:vgic_read_irq_line_level_info (Results 1 – 3 of 3) sorted by relevance
210 u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid);
766 u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid) in vgic_read_irq_line_level_info() function
1142 *val = vgic_read_irq_line_level_info(vcpu, intid); in vgic_v3_line_level_info_uaccess()