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