1 /* SPDX-License-Identifier: GPL-2.0 */
2 #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ)
5 #include <linux/tracepoint.h>
8 #define TRACE_SYSTEM kvm
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),
15 __field( unsigned long, vcpu_id )
17 __field( bool, level )
21 __entry->vcpu_id = vcpu_id;
23 __entry->level = level;
26 TP_printk("VCPU: %ld, IRQ %d, level: %d",
27 __entry->vcpu_id, __entry->irq, __entry->level)
30 #endif /* _TRACE_VGIC_H */
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
37 /* This part must be outside protection */
38 #include <trace/define_trace.h>