Branch data 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>
|