On Thu, Jul 09, 2020 at 02:17:35PM +0200, Anna-Maria Behnsen wrote: > Hi Frederic, > > On Tue, 7 Jul 2020, Frederic Weisbecker wrote: > > > Consolidate the code by calling trigger_dyntick_cpu() from > > enqueue_timer() instead of calling it from all its callers. > > Looks good, but maybe you could also update the comments in the code (see > remarks below)?
Ok, fixing that, thanks!