1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 235d2d5d4SChristoffer Dall #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ) 335d2d5d4SChristoffer Dall #define _TRACE_VGIC_H 435d2d5d4SChristoffer Dall 535d2d5d4SChristoffer Dall #include <linux/tracepoint.h> 635d2d5d4SChristoffer Dall 735d2d5d4SChristoffer Dall #undef TRACE_SYSTEM 835d2d5d4SChristoffer Dall #define TRACE_SYSTEM kvm 935d2d5d4SChristoffer Dall 1035d2d5d4SChristoffer Dall TRACE_EVENT(vgic_update_irq_pending, 1135d2d5d4SChristoffer Dall TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level), 1235d2d5d4SChristoffer Dall TP_ARGS(vcpu_id, irq, level), 1335d2d5d4SChristoffer Dall 1435d2d5d4SChristoffer Dall TP_STRUCT__entry( 1535d2d5d4SChristoffer Dall __field( unsigned long, vcpu_id ) 1635d2d5d4SChristoffer Dall __field( __u32, irq ) 1735d2d5d4SChristoffer Dall __field( bool, level ) 1835d2d5d4SChristoffer Dall ), 1935d2d5d4SChristoffer Dall 2035d2d5d4SChristoffer Dall TP_fast_assign( 2135d2d5d4SChristoffer Dall __entry->vcpu_id = vcpu_id; 2235d2d5d4SChristoffer Dall __entry->irq = irq; 2335d2d5d4SChristoffer Dall __entry->level = level; 2435d2d5d4SChristoffer Dall ), 2535d2d5d4SChristoffer Dall 2635d2d5d4SChristoffer Dall TP_printk("VCPU: %ld, IRQ %d, level: %d", 2735d2d5d4SChristoffer Dall __entry->vcpu_id, __entry->irq, __entry->level) 2835d2d5d4SChristoffer Dall ); 2935d2d5d4SChristoffer Dall 3035d2d5d4SChristoffer Dall #endif /* _TRACE_VGIC_H */ 3135d2d5d4SChristoffer Dall 3235d2d5d4SChristoffer Dall #undef TRACE_INCLUDE_PATH 33*9ed24f4bSMarc Zyngier #define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic 3435d2d5d4SChristoffer Dall #undef TRACE_INCLUDE_FILE 3535d2d5d4SChristoffer Dall #define TRACE_INCLUDE_FILE trace 3635d2d5d4SChristoffer Dall 3735d2d5d4SChristoffer Dall /* This part must be outside protection */ 3835d2d5d4SChristoffer Dall #include <trace/define_trace.h> 39