]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
35d2d5d4 CD |
2 | #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ) |
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 irq, bool level), | |
12 | TP_ARGS(vcpu_id, irq, level), | |
13 | ||
14 | TP_STRUCT__entry( | |
15 | __field( unsigned long, vcpu_id ) | |
16 | __field( __u32, irq ) | |
17 | __field( bool, level ) | |
18 | ), | |
19 | ||
20 | TP_fast_assign( | |
21 | __entry->vcpu_id = vcpu_id; | |
22 | __entry->irq = irq; | |
23 | __entry->level = level; | |
24 | ), | |
25 | ||
26 | TP_printk("VCPU: %ld, IRQ %d, level: %d", | |
27 | __entry->vcpu_id, __entry->irq, __entry->level) | |
28 | ); | |
29 | ||
30 | #endif /* _TRACE_VGIC_H */ | |
31 | ||
32 | #undef TRACE_INCLUDE_PATH | |
33 | #define TRACE_INCLUDE_PATH ../../../virt/kvm/arm/vgic | |
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> |