Branch data     Line data    Source code

       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                 :            : 
      10   [ #  #  #  #  :          0 : TRACE_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>