kernel/trace/rv/monitors/nomiss/nomiss.c

109

ha_start_timer_ns(ha_mon, clk_nomiss, DEADLINE_NS(ha_mon), time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

111

ha_start_timer_ns(ha_mon, clk_nomiss, DEADLINE_NS(ha_mon), time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

40

if (env == clk_nomiss)

kernel/trace/rv/monitors/nomiss/nomiss.c

51

if (env == clk_nomiss)

kernel/trace/rv/monitors/nomiss/nomiss.c

60

return ha_check_invariant_ns(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

62

return ha_check_invariant_ns(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

73

ha_inv_to_guard(ha_mon, clk_nomiss, DEADLINE_NS(ha_mon), time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

75

ha_inv_to_guard(ha_mon, clk_nomiss, DEADLINE_NS(ha_mon), time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

85

ha_reset_env(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

89

ha_reset_env(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

91

ha_reset_env(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

93

ha_reset_env(ha_mon, clk_nomiss, time_ns);

kernel/trace/rv/monitors/nomiss/nomiss.c

98

ha_reset_env(ha_mon, clk_nomiss, time_ns);