1/* SPDX-License-Identifier: GPL-2.0 */
2#undef TRACE_SYSTEM
3#define TRACE_SYSTEM vsyscall
4
5#if !defined(__VSYSCALL_TRACE_H) || defined(TRACE_HEADER_MULTI_READ)
6#define __VSYSCALL_TRACE_H
7
8#include <linux/tracepoint.h>
9
10TRACE_EVENT(emulate_vsyscall,
11
12	    TP_PROTO(int nr),
13
14	    TP_ARGS(nr),
15
16	    TP_STRUCT__entry(__field(int, nr)),
17
18	    TP_fast_assign(
19			   __entry->nr = nr;
20			   ),
21
22	    TP_printk("nr = %d", __entry->nr)
23);
24
25#endif
26
27#undef TRACE_INCLUDE_PATH
28#define TRACE_INCLUDE_PATH ../../arch/x86/entry/vsyscall/
29#define TRACE_INCLUDE_FILE vsyscall_trace
30#include <trace/define_trace.h>
31