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