rcu_sync: Introduce rcu_sync_dtor()