virt/kvm/arm/vgic/trace.h

   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
  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),
  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>