kvm/vgic/trace.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ)
0003 #define _TRACE_VGIC_H
0004
0005 #include <linux/tracepoint.h>
0006
0007 #undef TRACE_SYSTEM
0008 #define TRACE_SYSTEM kvm
0009
0010 TRACE_EVENT(vgic_update_irq_pending,
0011     TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level),
0012     TP_ARGS(vcpu_id, irq, level),
0013
0014     TP_STRUCT__entry(
0015         __field(    unsigned long,  vcpu_id )
0016         __field(    __u32,      irq )
0017         __field(    bool,       level   )
0018     ),
0019
0020     TP_fast_assign(
0021         __entry->vcpu_id    = vcpu_id;
0022         __entry->irq        = irq;
0023         __entry->level      = level;
0024     ),
0025
0026     TP_printk("VCPU: %ld, IRQ %d, level: %d",
0027           __entry->vcpu_id, __entry->irq, __entry->level)
0028 );
0029
0030 #endif /* _TRACE_VGIC_H */
0031
0032 #undef TRACE_INCLUDE_PATH
0033 #define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic
0034 #undef TRACE_INCLUDE_FILE
0035 #define TRACE_INCLUDE_FILE trace
0036
0037 /* This part must be outside protection */
0038 #include <trace/define_trace.h>