Line data    Source code

       1             : /* SPDX-License-Identifier: GPL-2.0 */
       2             : #undef TRACE_SYSTEM
       3             : #define TRACE_SYSTEM nmi
       4             : 
       5             : #if !defined(_TRACE_NMI_H) || defined(TRACE_HEADER_MULTI_READ)
       6             : #define _TRACE_NMI_H
       7             : 
       8             : #include <linux/ktime.h>
       9             : #include <linux/tracepoint.h>
      10             : 
      11           0 : TRACE_EVENT(nmi_handler,
      12             : 
      13             :         TP_PROTO(void *handler, s64 delta_ns, int handled),
      14             : 
      15             :         TP_ARGS(handler, delta_ns, handled),
      16             : 
      17             :         TP_STRUCT__entry(
      18             :                 __field(        void *,         handler )
      19             :                 __field(        s64,            delta_ns)
      20             :                 __field(        int,            handled )
      21             :         ),
      22             : 
      23             :         TP_fast_assign(
      24             :                 __entry->handler = handler;
      25             :                 __entry->delta_ns = delta_ns;
      26             :                 __entry->handled = handled;
      27             :         ),
      28             : 
      29             :         TP_printk("%ps() delta_ns: %lld handled: %d",
      30             :                 __entry->handler,
      31             :                 __entry->delta_ns,
      32             :                 __entry->handled)
      33             : );
      34             : 
      35             : #endif /* _TRACE_NMI_H */
      36             : 
      37             : /* This part ust be outside protection */
      38             : #include <trace/define_trace.h>