Re: [PATCH v2 rcu 13/16] workqueue: Make queue_rcu_work() use call_rcu_flush()
From: Tejun Heo
Date: Tue Nov 22 2022 - 16:31:08 EST
On Mon, Nov 21, 2022 at 05:52:02PM -0800, Paul E. McKenney wrote:
> Maybe we should have used call_rcu_hurry()?
That sounds good to me.
Thanks.
--
tejun