1/* SPDX-License-Identifier: GPL-2.0 */
 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
10TRACE_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>