Re: [PATCH v4 1/8] rv/da: introduce DA_MON_ALLOCATION_STRATEGY

[Gabriele Monaco]

On Wed, 2026-07-08 at 23:38 +0800, wen.yang@xxxxxxxxx wrote:
> From: Wen Yang <wen.yang@xxxxxxxxx>
> diff --git a/include/rv/ha_monitor.h b/include/rv/ha_monitor.h
> index 28d3c74cabfc..83199f90afe8 100644
> --- a/include/rv/ha_monitor.h
> +++ b/include/rv/ha_monitor.h
> @@ -365,6 +365,12 @@ static inline bool ha_check_invariant_ns(struct
> ha_monitor *ha_mon,
>  }
>  /*
>   * ha_invariant_passed_ns - prepare the invariant and return the time since
> reset
> + *
> + * If the env has not been initialised yet (first entry into a state with an
> + * invariant), anchor the guard clock at the current time so that the full
> + * budget is available from this point.  This preserves the documented
> + * guard->invariant ordering: ha_set_invariant_ns() is always preceded by a
> + * valid guard representation in env_store.
>   */
>  static inline u64 ha_invariant_passed_ns(struct ha_monitor *ha_mon, enum envs
> env,
>  				   u64 expire, u64 time_ns)

This hunk belongs to a later patch, doesn't it?