Searched refs:vgic_write_irq_line_level_info (Results 1 – 3 of 3) sorted by relevance
212 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,
800 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid, in vgic_write_irq_line_level_info() function
1163 vgic_write_irq_line_level_info(vcpu, intid, *val); in vgic_v3_line_level_info_uaccess()