Re: [patch V2 15/17] timers: Provide timer_shutdown[_sync]()
Date
Wed, 23 Nov 2022 18:06:06 +0100
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?