118 	unsigned long flags;  in vgic_mmio_write_sgir()  local
142 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_mmio_write_sgir()
146 		vgic_queue_irq_unlock(source_vcpu->kvm, irq, flags);  in vgic_mmio_write_sgir()
176 	unsigned long flags;  in vgic_mmio_write_target()  local
186 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_mmio_write_target()
192 		raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_mmio_write_target()
220 	unsigned long flags;  in vgic_mmio_write_sgipendc()  local
225 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_mmio_write_sgipendc()
231 		raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_mmio_write_sgipendc()
242 	unsigned long flags;  in vgic_mmio_write_sgipends()  local
247 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_mmio_write_sgipends()
253 			vgic_queue_irq_unlock(vcpu->kvm, irq, flags);  in vgic_mmio_write_sgipends()
255 			raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_mmio_write_sgipends()