envs
static char *model_get_env_name(enum envs env)
static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs env, u64 time_ns);
static inline bool ha_monitor_env_invalid(struct ha_monitor *ha_mon, enum envs env)
static inline u64 ha_get_clk_ns(struct ha_monitor *ha_mon, enum envs env, u64 time_ns)
static inline void ha_reset_clk_ns(struct ha_monitor *ha_mon, enum envs env, u64 time_ns)
static inline void ha_set_invariant_ns(struct ha_monitor *ha_mon, enum envs env,
enum envs env, u64 time_ns)
static inline u64 ha_invariant_passed_ns(struct ha_monitor *ha_mon, enum envs env,
static inline u64 ha_get_clk_jiffy(struct ha_monitor *ha_mon, enum envs env)
static inline void ha_reset_clk_jiffy(struct ha_monitor *ha_mon, enum envs env)
enum envs env, u64 value)
enum envs env, u64 time_ns)
static inline u64 ha_invariant_passed_jiffy(struct ha_monitor *ha_mon, enum envs env,
static inline void ha_inv_to_guard(struct ha_monitor *ha_mon, enum envs env,
static inline void ha_start_timer_jiffy(struct ha_monitor *ha_mon, enum envs env,
static inline void ha_start_timer_ns(struct ha_monitor *ha_mon, enum envs env,
static inline void ha_start_timer_ns(struct ha_monitor *ha_mon, enum envs env,
static inline void ha_start_timer_jiffy(struct ha_monitor *ha_mon, enum envs env,