162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ) 362306a36Sopenharmony_ci#define _TRACE_VGIC_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_ci#include <linux/tracepoint.h> 662306a36Sopenharmony_ci 762306a36Sopenharmony_ci#undef TRACE_SYSTEM 862306a36Sopenharmony_ci#define TRACE_SYSTEM kvm 962306a36Sopenharmony_ci 1062306a36Sopenharmony_ciTRACE_EVENT(vgic_update_irq_pending, 1162306a36Sopenharmony_ci TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level), 1262306a36Sopenharmony_ci TP_ARGS(vcpu_id, irq, level), 1362306a36Sopenharmony_ci 1462306a36Sopenharmony_ci TP_STRUCT__entry( 1562306a36Sopenharmony_ci __field( unsigned long, vcpu_id ) 1662306a36Sopenharmony_ci __field( __u32, irq ) 1762306a36Sopenharmony_ci __field( bool, level ) 1862306a36Sopenharmony_ci ), 1962306a36Sopenharmony_ci 2062306a36Sopenharmony_ci TP_fast_assign( 2162306a36Sopenharmony_ci __entry->vcpu_id = vcpu_id; 2262306a36Sopenharmony_ci __entry->irq = irq; 2362306a36Sopenharmony_ci __entry->level = level; 2462306a36Sopenharmony_ci ), 2562306a36Sopenharmony_ci 2662306a36Sopenharmony_ci TP_printk("VCPU: %ld, IRQ %d, level: %d", 2762306a36Sopenharmony_ci __entry->vcpu_id, __entry->irq, __entry->level) 2862306a36Sopenharmony_ci); 2962306a36Sopenharmony_ci 3062306a36Sopenharmony_ci#endif /* _TRACE_VGIC_H */ 3162306a36Sopenharmony_ci 3262306a36Sopenharmony_ci#undef TRACE_INCLUDE_PATH 3362306a36Sopenharmony_ci#define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic 3462306a36Sopenharmony_ci#undef TRACE_INCLUDE_FILE 3562306a36Sopenharmony_ci#define TRACE_INCLUDE_FILE trace 3662306a36Sopenharmony_ci 3762306a36Sopenharmony_ci/* This part must be outside protection */ 3862306a36Sopenharmony_ci#include <trace/define_trace.h> 39