19ed24f4bSMarc Zyngier /* SPDX-License-Identifier: GPL-2.0 */ 29ed24f4bSMarc Zyngier #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ) 39ed24f4bSMarc Zyngier #define _TRACE_VGIC_H 49ed24f4bSMarc Zyngier 59ed24f4bSMarc Zyngier #include <linux/tracepoint.h> 69ed24f4bSMarc Zyngier 79ed24f4bSMarc Zyngier #undef TRACE_SYSTEM 89ed24f4bSMarc Zyngier #define TRACE_SYSTEM kvm 99ed24f4bSMarc Zyngier 109ed24f4bSMarc Zyngier TRACE_EVENT(vgic_update_irq_pending, 119ed24f4bSMarc Zyngier TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level), 129ed24f4bSMarc Zyngier TP_ARGS(vcpu_id, irq, level), 139ed24f4bSMarc Zyngier 149ed24f4bSMarc Zyngier TP_STRUCT__entry( 159ed24f4bSMarc Zyngier __field( unsigned long, vcpu_id ) 169ed24f4bSMarc Zyngier __field( __u32, irq ) 179ed24f4bSMarc Zyngier __field( bool, level ) 189ed24f4bSMarc Zyngier ), 199ed24f4bSMarc Zyngier 209ed24f4bSMarc Zyngier TP_fast_assign( 219ed24f4bSMarc Zyngier __entry->vcpu_id = vcpu_id; 229ed24f4bSMarc Zyngier __entry->irq = irq; 239ed24f4bSMarc Zyngier __entry->level = level; 249ed24f4bSMarc Zyngier ), 259ed24f4bSMarc Zyngier 269ed24f4bSMarc Zyngier TP_printk("VCPU: %ld, IRQ %d, level: %d", 279ed24f4bSMarc Zyngier __entry->vcpu_id, __entry->irq, __entry->level) 289ed24f4bSMarc Zyngier ); 299ed24f4bSMarc Zyngier 309ed24f4bSMarc Zyngier #endif /* _TRACE_VGIC_H */ 319ed24f4bSMarc Zyngier 329ed24f4bSMarc Zyngier #undef TRACE_INCLUDE_PATH 339ed24f4bSMarc Zyngier #define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic 349ed24f4bSMarc Zyngier #undef TRACE_INCLUDE_FILE 359ed24f4bSMarc Zyngier #define TRACE_INCLUDE_FILE trace 369ed24f4bSMarc Zyngier 379ed24f4bSMarc Zyngier /* This part must be outside protection */ 389ed24f4bSMarc Zyngier #include <trace/define_trace.h> 39