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