rcu_idx          6425 arch/x86/kvm/mmu.c 	int rcu_idx;
rcu_idx          6431 arch/x86/kvm/mmu.c 	rcu_idx = srcu_read_lock(&kvm->srcu);
rcu_idx          6457 arch/x86/kvm/mmu.c 	srcu_read_unlock(&kvm->srcu, rcu_idx);