1#if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ)
2#define _TRACE_VGIC_H
3
4#include <linux/tracepoint.h>
5
6#undef TRACE_SYSTEM
7#define TRACE_SYSTEM kvm
8
9TRACE_EVENT(vgic_update_irq_pending,
10 TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level),
11 TP_ARGS(vcpu_id, irq, level),
12
13 TP_STRUCT__entry(
14 __field( unsigned long, vcpu_id )
15 __field( __u32, irq )
16 __field( bool, level )
17 ),
18
19 TP_fast_assign(
20 __entry->vcpu_id = vcpu_id;
21 __entry->irq = irq;
22 __entry->level = level;
23 ),
24
25 TP_printk("VCPU: %ld, IRQ %d, level: %d",
26 __entry->vcpu_id, __entry->irq, __entry->level)
27);
28
29#endif
30
31#undef TRACE_INCLUDE_PATH
32#define TRACE_INCLUDE_PATH ../../../virt/kvm/arm/vgic
33#undef TRACE_INCLUDE_FILE
34#define TRACE_INCLUDE_FILE trace
35
36
37#include <trace/define_trace.h>
38