Re: [patch V2 15/17] timers: Provide timer_shutdown[_sync]()

Thomas Gleixner
2022-11-23T17:06:14Z

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.