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