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 ../../arch/arm64/kvm/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> 39