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()
293 	unsigned long flags;  in vgic_v3_uaccess_write_pending()  local
298 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_v3_uaccess_write_pending()
306 			vgic_queue_irq_unlock(vcpu->kvm, irq, flags);  in vgic_v3_uaccess_write_pending()
309 			raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_v3_uaccess_write_pending()
913 	unsigned long flags;  in vgic_v3_dispatch_sgi()  local
952 		raw_spin_lock_irqsave(&irq->irq_lock, flags);  in vgic_v3_dispatch_sgi()
961 			vgic_queue_irq_unlock(vcpu->kvm, irq, flags);  in vgic_v3_dispatch_sgi()
963 			raw_spin_unlock_irqrestore(&irq->irq_lock, flags);  in vgic_v3_dispatch_sgi()