Sorry for the long delay in replying. Although kvm->irq_srcu is not required+ old = srcu_dereference_check(kvm->irq_routing, &kvm->irq_srcu,Readers of irq_routing are protected via kvm->irq_srcu, but this writer is never
+ lockdep_is_held(&kvm->irq_lock));
called with kvm->irq_srcu held. I do like the of replacing '1' with
lockdep_is_held(&kvm->irq_lock) to document the protection, so what about just
doing that? I.e.
to protect irq_routing here, this interface function srcu_dereference_check
indicates that irq_routing is protected by kvm->irq_srcu in the kvm subsystem.
Thanks.