Lines Matching refs:vgic_put_irq
56 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_group()
76 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_group()
98 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_enable()
135 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_senable()
155 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_cenable()
176 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_pending()
234 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_spending()
244 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_spending()
287 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_cpending()
299 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_cpending()
317 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_active()
414 vgic_put_irq(vcpu->kvm, irq); in __vgic_mmio_write_cactive()
451 vgic_put_irq(vcpu->kvm, irq); in __vgic_mmio_write_sactive()
490 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_priority()
519 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_priority()
536 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_read_config()
571 vgic_put_irq(vcpu->kvm, irq); in vgic_mmio_write_config()
591 vgic_put_irq(vcpu->kvm, irq); in vgic_read_irq_line_level_info()
626 vgic_put_irq(vcpu->kvm, irq); in vgic_write_irq_line_level_info()