Searched refs:vgic_read_irq_line_level_info (Results 1 – 3 of 3) sorted by relevance
204 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid);
567 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid) in vgic_read_irq_line_level_info() function
1039 *val = vgic_read_irq_line_level_info(vcpu, intid); in vgic_v3_line_level_info_uaccess()