On Tue, 7 Nov 2017 15:57:36 +0100 Peter Zijlstra <pet...@infradead.org> wrote:
> + link = tab[msgindex]; > + rcu_assign_pointer(tab[msgindex], NULL); It is not necessary (or useful) to use rcu_assign_pointer with NULL. The rcu_assign_pointer used to special case NULL but doesn't in recent years.