xref: /linux/kernel/trace/rv/monitors/pagefault/pagefault_trace.h (revision 4ff261e725d7376c12e745fdbe8a33cd6dbd5a83) 
1*9162620eSNam Cao /* SPDX-License-Identifier: GPL-2.0 */
2*9162620eSNam Cao 
3*9162620eSNam Cao /*
4*9162620eSNam Cao  * Snippet to be included in rv_trace.h
5*9162620eSNam Cao  */
6*9162620eSNam Cao 
7*9162620eSNam Cao #ifdef CONFIG_RV_MON_PAGEFAULT
8*9162620eSNam Cao DEFINE_EVENT(event_ltl_monitor_id, event_pagefault,
9*9162620eSNam Cao 	     TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
10*9162620eSNam Cao 	     TP_ARGS(task, states, atoms, next));
11*9162620eSNam Cao DEFINE_EVENT(error_ltl_monitor_id, error_pagefault,
12*9162620eSNam Cao 	     TP_PROTO(struct task_struct *task),
13*9162620eSNam Cao 	     TP_ARGS(task));
14*9162620eSNam Cao #endif /* CONFIG_RV_MON_PAGEFAULT */
15