1 /* SPDX-License-Identifier: GPL-2.0 */ 2 3 /* 4 * Snippet to be included in rv_trace.h 5 */ 6 7 #ifdef CONFIG_RV_MON_NOMISS 8 DEFINE_EVENT(event_da_monitor_id, event_nomiss, 9 TP_PROTO(int id, char *state, char *event, char *next_state, bool final_state), 10 TP_ARGS(id, state, event, next_state, final_state)); 11 12 DEFINE_EVENT(error_da_monitor_id, error_nomiss, 13 TP_PROTO(int id, char *state, char *event), 14 TP_ARGS(id, state, event)); 15 16 DEFINE_EVENT(error_env_da_monitor_id, error_env_nomiss, 17 TP_PROTO(int id, char *state, char *event, char *env), 18 TP_ARGS(id, state, event, env)); 19 #endif /* CONFIG_RV_MON_NOMISS */ 20