HA_TIMER_HRTIMER now requires a ns base also if the clock is in jiffy, defaulting to using it in that case adds no precision while increasing complexity.
Use HA_TIMER_HRTIMER as default in the generated code only for ns based clocks and use HA_TIMER_WHEEL otherwise. Signed-off-by: Gabriele Monaco <[email protected]> --- tools/verification/rvgen/rvgen/dot2k.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/verification/rvgen/rvgen/dot2k.py b/tools/verification/rvgen/rvgen/dot2k.py index c8109f3602a6..5d60b1b9fa28 100644 --- a/tools/verification/rvgen/rvgen/dot2k.py +++ b/tools/verification/rvgen/rvgen/dot2k.py @@ -495,8 +495,10 @@ f"""static bool ha_verify_constraint(struct ha_monitor *ha_mon, def _fill_timer_type(self) -> list: if self.has_invariant: - return [ + if {"ns", "us", "ms", "s"}.intersection(self.env_types.values()): + return [ "/* XXX: If the monitor has several instances, consider HA_TIMER_WHEEL */", "#define HA_TIMER_TYPE HA_TIMER_HRTIMER" - ] + ] + return ["#define HA_TIMER_TYPE HA_TIMER_WHEEL"] return [] -- 2.55.0
