pagefault_trace.h

 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
 8DEFINE_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));
11DEFINE_EVENT(error_ltl_monitor_id, error_pagefault,
12	     TP_PROTO(struct task_struct *task),
13	     TP_ARGS(task));
14#endif /* CONFIG_RV_MON_PAGEFAULT */