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