[PATCH 04/10] tools/rvgen: Default to HA_TIMER_WHEEL for jiffy clocks

[Gabriele Monaco]

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 <gmonaco@xxxxxxxxxx>
---
 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