1*6fdaab4eSNam Cao /* SPDX-License-Identifier: GPL-2.0 */ 2*6fdaab4eSNam Cao 3*6fdaab4eSNam Cao /* 4*6fdaab4eSNam Cao * Snippet to be included in rv_trace.h 5*6fdaab4eSNam Cao */ 6*6fdaab4eSNam Cao 7*6fdaab4eSNam Cao #ifdef CONFIG_RV_MON_WAKEUP 8*6fdaab4eSNam Cao DEFINE_EVENT(event_ltl_monitor_id, event_wakeup, 9*6fdaab4eSNam Cao TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next), 10*6fdaab4eSNam Cao TP_ARGS(task, states, atoms, next)); 11*6fdaab4eSNam Cao DEFINE_EVENT(error_ltl_monitor_id, error_wakeup, 12*6fdaab4eSNam Cao TP_PROTO(struct task_struct *task), 13*6fdaab4eSNam Cao TP_ARGS(task)); 14*6fdaab4eSNam Cao #endif /* CONFIG_RV_MON_WAKEUP */ 15