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_PAGEFAULT
8 DEFINE_EVENT(event_ltl_monitor_id, event_pagefault,
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_pagefault,
12 	     TP_PROTO(struct task_struct *task),
13 	     TP_ARGS(task));
14 #endif /* CONFIG_RV_MON_PAGEFAULT */
15