| /linux/include/rv/ |
| H A D | ha_monitor.h | 29 static inline void ha_setup_timer(struct ha_monitor *ha_mon);
30 static inline bool ha_cancel_timer(struct ha_monitor *ha_mon);
119 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs env, u64 time_ns);
120 static bool ha_verify_constraint(struct ha_monitor *ha_mon,
129 static inline void ha_monitor_reset_all_stored(struct ha_monitor *ha_mon) in ha_monitor_reset_all_stored() argument
132 WRITE_ONCE(ha_mon->env_store[i], ENV_INVALID_VALUE); in ha_monitor_reset_all_stored()
144 struct ha_monitor *ha_mon = to_ha_monitor(da_mon); in ha_monitor_init_env() local
146 ha_monitor_reset_all_stored(ha_mon); in ha_monitor_init_env()
147 ha_setup_timer(ha_mon); in ha_monitor_init_env()
159 struct ha_monitor *ha_mon = to_ha_monitor(da_mon); in ha_monitor_reset_env() local
[all …]
|
| /linux/kernel/trace/rv/monitors/nomiss/ |
| H A D | nomiss.c | 36 #define DEADLINE_NS(ha_mon) (ha_get_target(ha_mon)->dl_deadline + deadline_thresh) argument
38 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs_nomiss env, u64 time_ns) in ha_get_env() argument
41 return ha_get_clk_ns(ha_mon, env, time_ns); in ha_get_env()
43 return !dl_is_implicit(ha_get_target(ha_mon)); in ha_get_env()
45 return ha_get_target(ha_mon)->dl_defer; in ha_get_env()
49 static void ha_reset_env(struct ha_monitor *ha_mon, enum envs_nomiss env, u64 time_ns) in ha_reset_env() argument
52 ha_reset_clk_ns(ha_mon, env, time_ns); in ha_reset_env()
55 static inline bool ha_verify_invariants(struct ha_monitor *ha_mon, in ha_verify_invariants() argument
60 return ha_check_invariant_ns(ha_mon, clk_nomiss, time_ns); in ha_verify_invariants()
62 return ha_check_invariant_ns(ha_mon, clk_nomiss, time_ns); in ha_verify_invariants()
[all …]
|
| /linux/kernel/trace/rv/monitors/stall/ |
| H A D | stall.c | 23 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs_stall env, u64 time_ns) in ha_get_env() argument
26 return ha_get_clk_jiffy(ha_mon, env); in ha_get_env()
30 static void ha_reset_env(struct ha_monitor *ha_mon, enum envs_stall env, u64 time_ns) in ha_reset_env() argument
33 ha_reset_clk_jiffy(ha_mon, env); in ha_reset_env()
36 static inline bool ha_verify_invariants(struct ha_monitor *ha_mon, in ha_verify_invariants() argument
41 return ha_check_invariant_jiffy(ha_mon, clk_stall, time_ns); in ha_verify_invariants()
45 static inline bool ha_verify_guards(struct ha_monitor *ha_mon, in ha_verify_guards() argument
52 ha_reset_env(ha_mon, clk_stall, time_ns); in ha_verify_guards()
54 ha_reset_env(ha_mon, clk_stall, time_ns); in ha_verify_guards()
58 static inline void ha_setup_invariants(struct ha_monitor *ha_mon, in ha_setup_invariants() argument
[all …]
|
| /linux/kernel/trace/rv/monitors/opid/ |
| H A D | opid.c | 20 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs_opid env, u64 time_ns) in ha_get_env() argument
38 static inline bool ha_verify_guards(struct ha_monitor *ha_mon, in ha_verify_guards() argument
45 res = ha_get_env(ha_mon, irq_off_opid, time_ns) == 1ull; in ha_verify_guards()
47 res = ha_get_env(ha_mon, irq_off_opid, time_ns) == 1ull && in ha_verify_guards()
48 ha_get_env(ha_mon, preempt_off_opid, time_ns) == 1ull; in ha_verify_guards()
52 static bool ha_verify_constraint(struct ha_monitor *ha_mon, in ha_verify_constraint() argument
56 if (!ha_verify_guards(ha_mon, curr_state, event, next_state, time_ns)) in ha_verify_constraint()
|
| /linux/include/linux/ |
| H A D | rv.h | 127 struct ha_monitor ha_mon; member
|
| /linux/Documentation/trace/rv/ |
| H A D | monitor_synthesis.rst | 272 res = ha_get_env(ha_mon, ENV) < VALUE;
276 ha_reset_env(ha_mon, ENV);
332 ``ha_get_target(ha_mon)``.
341 static u64 ha_get_env(struct ha_monitor *ha_mon, enum envs env)
348 The function is supplied the ``ha_mon`` parameter in case some storage is
|
| H A D | hybrid_automata.rst | 265 ha_start_timer_jiffy(ha_mon, clk, threshold_jiffies);
267 res = !ha_cancel_timer(ha_mon);
|