On 06/07/2017 14:51, Christian Borntraeger wrote: > + /* > + * no need for rcu_read_lock as VCPU_RUN is the only place that > + * will change the vcpu->pid pointer and on uninit all file > + * descriptors are already gone. > + */ > + put_pid(rcu_dereference(vcpu->pid)); Hmm, I missed this. This would fail with lockdep turned on, so you need rcu_dereference_protected(p, 1) Paolo
