| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * Snippet to be included in rv_trace.h | |
| */ | |
| #ifdef CONFIG_RV_MON_TEST_LTL | |
| DEFINE_EVENT(event_ltl_monitor_id, event_test_ltl, | |
| 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_test_ltl, | |
| TP_PROTO(struct task_struct *task), | |
| TP_ARGS(task)); | |
| #endif /* CONFIG_RV_MON_TEST_LTL */ |