Re: [patch V2 15/17] timers: Provide timer_shutdown[_sync]()
From: Thomas Gleixner
Date: Wed Nov 23 2022 - 12:06:15 EST
On Wed, Nov 23 2022 at 13:02, Anna-Maria Behnsen wrote:
>> + * This obviously requires that the timer is not required to be functional
>> + * for the rest of the shutdown operation.
>
> NIT... Maybe the first requires could be replaced by
> assumes/expects/presupposes to prevent double use of required?
Yes.