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.
