1*e8440a88SGabriele Monaco /* SPDX-License-Identifier: GPL-2.0 */ 2*e8440a88SGabriele Monaco 3*e8440a88SGabriele Monaco /* 4*e8440a88SGabriele Monaco * Snippet to be included in rv_trace.h 5*e8440a88SGabriele Monaco */ 6*e8440a88SGabriele Monaco 7*e8440a88SGabriele Monaco #ifdef CONFIG_RV_MON_NRP 8*e8440a88SGabriele Monaco DEFINE_EVENT(event_da_monitor_id, event_nrp, 9*e8440a88SGabriele Monaco TP_PROTO(int id, char *state, char *event, char *next_state, bool final_state), 10*e8440a88SGabriele Monaco TP_ARGS(id, state, event, next_state, final_state)); 11*e8440a88SGabriele Monaco 12*e8440a88SGabriele Monaco DEFINE_EVENT(error_da_monitor_id, error_nrp, 13*e8440a88SGabriele Monaco TP_PROTO(int id, char *state, char *event), 14*e8440a88SGabriele Monaco TP_ARGS(id, state, event)); 15*e8440a88SGabriele Monaco #endif /* CONFIG_RV_MON_NRP */ 16