153 	unsigned long flags;  in vgic_mmio_write_irouter()  local
164 	raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_mmio_write_irouter()
170 	raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_mmio_write_irouter()
276 	unsigned long flags;  in vgic_v3_uaccess_write_pending()  local
281 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_v3_uaccess_write_pending()
289 			vgic_queue_irq_unlock(vcpu->kvm, irq, flags);  in vgic_v3_uaccess_write_pending()
292 			raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_v3_uaccess_write_pending()
895 	unsigned long flags;  in vgic_v3_dispatch_sgi()  local
934 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_v3_dispatch_sgi()
943 			vgic_queue_irq_unlock(vcpu->kvm, irq, flags);  in vgic_v3_dispatch_sgi()
945 			raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_v3_dispatch_sgi()