On Fri, Jun 28, 2019 at 08:54:04AM -0700, Paul E. McKenney wrote: > Thank you! Plus it looks like scheduler_ipi() takes an early exit if > ->wake_list is empty, regardless of TIF_NEED_RESCHED, right? Yes, TIF_NEED_RESCHED is checked in the interrupt return path.
