/* SPDX-License-Identifier: GPL-2.0 */ 
 | 
#undef TRACE_SYSTEM 
 | 
#define TRACE_SYSTEM vsyscall 
 | 
  
 | 
#if !defined(__VSYSCALL_TRACE_H) || defined(TRACE_HEADER_MULTI_READ) 
 | 
#define __VSYSCALL_TRACE_H 
 | 
  
 | 
#include <linux/tracepoint.h> 
 | 
  
 | 
TRACE_EVENT(emulate_vsyscall, 
 | 
  
 | 
        TP_PROTO(int nr), 
 | 
  
 | 
        TP_ARGS(nr), 
 | 
  
 | 
        TP_STRUCT__entry(__field(int, nr)), 
 | 
  
 | 
        TP_fast_assign( 
 | 
               __entry->nr = nr; 
 | 
               ), 
 | 
  
 | 
        TP_printk("nr = %d", __entry->nr) 
 | 
); 
 | 
  
 | 
#endif 
 | 
  
 | 
#undef TRACE_INCLUDE_PATH 
 | 
#define TRACE_INCLUDE_PATH ../../arch/x86/entry/vsyscall/ 
 | 
#define TRACE_INCLUDE_FILE vsyscall_trace 
 | 
#include <trace/define_trace.h> 
 |