trace.h

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0 */
#if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ)
#define _TRACE_VGIC_H
 
#include <linux/tracepoint.h>
 
#undef TRACE_SYSTEM
#define TRACE_SYSTEM kvm
 
TRACE_EVENT(vgic_update_irq_pending,
    TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level),
    TP_ARGS(vcpu_id, irq, level),
 
    TP_STRUCT__entry(
        __field(    unsigned long,  vcpu_id )
        __field(    __u32,      irq )
        __field(    bool,       level   )
    ),
 
    TP_fast_assign(
        __entry->vcpu_id    = vcpu_id;
        __entry->irq        = irq;
        __entry->level      = level;
    ),
 
    TP_printk("VCPU: %ld, IRQ %d, level: %d",
          __entry->vcpu_id, __entry->irq, __entry->level)
);
 
#endif /* _TRACE_VGIC_H */
 
#undef TRACE_INCLUDE_PATH
#define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic
#undef TRACE_INCLUDE_FILE
#define TRACE_INCLUDE_FILE trace
 
/* This part must be outside protection */
#include <trace/define_trace.h>