1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 #if !defined(_TRACE_VGIC_H) || defined(TRACE_H
3 #define _TRACE_VGIC_H
4
5 #include <linux/tracepoint.h>
6
7 #undef TRACE_SYSTEM
8 #define TRACE_SYSTEM kvm
9
10 TRACE_EVENT(vgic_update_irq_pending,
11 TP_PROTO(unsigned long vcpu_id, __u32
12 TP_ARGS(vcpu_id, irq, level),
13
14 TP_STRUCT__entry(
15 __field( unsigned long,
16 __field( __u32,
17 __field( bool,
18 ),
19
20 TP_fast_assign(
21 __entry->vcpu_id = vcpu
22 __entry->irq = irq;
23 __entry->level = leve
24 ),
25
26 TP_printk("VCPU: %ld, IRQ %d, level: %
27 __entry->vcpu_id, __entry->i
28 );
29
30 #endif /* _TRACE_VGIC_H */
31
32 #undef TRACE_INCLUDE_PATH
33 #define TRACE_INCLUDE_PATH ../../arch/arm64/kv
34 #undef TRACE_INCLUDE_FILE
35 #define TRACE_INCLUDE_FILE trace
36
37 /* This part must be outside protection */
38 #include <trace/define_trace.h>
39
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.