Re: [PATCH v7 12/21] timer: Keep the pinned timers separate from the others

[Frederic Weisbecker]

On Wed, May 24, 2023 at 09:06:20AM +0200, Anna-Maria Behnsen wrote:
> Separate the storage space for pinned timers. Deferrable timers (doesn't
> matter if pinned or non pinned) are still enqueued into their own base.
> 
> This is preparatory work for changing the NOHZ timer placement from a push
> at enqueue time to a pull at expiry time model.
> 
> Originally-by: Richard Cochran (linutronix GmbH) <richardcochran@xxxxxxxxx>
> Signed-off-by: Anna-Maria Behnsen <anna-maria@xxxxxxxxxxxxx>

Reviewed-by: Frederic Weisbecker <frederic@xxxxxxxxxx>