Lines Matching refs:vgic_put_irq
64 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_group()
84 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_group()
106 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_enable()
127 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_senable()
147 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_cenable()
168 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_pending()
224 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_spending()
273 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_cpending()
291 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_active()
392 vgic_put_irq(vcpu->kvm, irq); in __vgic_mmio_write_cactive()
429 vgic_put_irq(vcpu->kvm, irq); in __vgic_mmio_write_sactive()
468 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_priority()
497 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_priority()
514 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_config()
549 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_config()
569 vgic_put_irq(vcpu->kvm, irq); in vgic_read_irq_line_level_info()
604 vgic_put_irq(vcpu->kvm, irq); in vgic_write_irq_line_level_info()