Searched refs:envs (Results 1 – 6 of 6) sorted by relevance
| /linux/include/rv/ |
| H A D | ha_monitor.h | 50 #define envs CONCATENATE(envs_, MONITOR_NAME) macro
85 static char *model_get_env_name(enum envs env) in model_get_env_name()
119 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs env, u64 time_ns);
169 static inline bool ha_monitor_env_invalid(struct ha_monitor *ha_mon, enum envs env) in ha_monitor_env_invalid()
274 static inline u64 ha_get_clk_ns(struct ha_monitor *ha_mon, enum envs env, u64 time_ns) in ha_get_clk_ns()
278 static inline void ha_reset_clk_ns(struct ha_monitor *ha_mon, enum envs env, u64 time_ns) in ha_reset_clk_ns()
282 static inline void ha_set_invariant_ns(struct ha_monitor *ha_mon, enum envs env, in ha_set_invariant_ns()
288 enum envs env, u64 time_ns) in ha_check_invariant_ns()
295 static inline u64 ha_invariant_passed_ns(struct ha_monitor *ha_mon, enum envs env, in ha_invariant_passed_ns()
312 static inline u64 ha_get_clk_jiffy(struct ha_monitor *ha_mon, enum envs env) in ha_get_clk_jiffy()
[all …]
|
| /linux/tools/verification/rvgen/rvgen/ |
| H A D | automata.py | 74 self.events, self.envs = self.__get_event_variables()
191 envs: list[str] = []
218 envs += self.__extract_env_var(constr)
230 envs += self.__extract_env_var([constr[0].replace(" ", "")])
232 return sorted(set(events)), sorted(set(envs))
361 return bool(self.envs)
|
| H A D | dot2k.py | 218 assert env.rstrip(f"_{self.name}") in self.envs
586 for env in self.envs:
|
| H A D | dot2c.py | 66 return [e for e in self.envs if e not in self.env_stored]
|
| /linux/Documentation/trace/rv/ |
| H A D | hybrid_automata.rst | 212 enum envs {
|
| H A D | monitor_synthesis.rst | 341 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs env)
|