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_LTL_PERTASK 8 DEFINE_EVENT(event_ltl_monitor_id, event_ltl_pertask, 9 TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next), 10 TP_ARGS(task, states, atoms, next)); 11 DEFINE_EVENT(error_ltl_monitor_id, error_ltl_pertask, 12 TP_PROTO(struct task_struct *task), 13 TP_ARGS(task)); 14 #endif /* CONFIG_RV_MON_LTL_PERTASK */ 15