1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0 */ 2*4882a593Smuzhiyun #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ) 3*4882a593Smuzhiyun #define _TRACE_VGIC_H 4*4882a593Smuzhiyun 5*4882a593Smuzhiyun #include <linux/tracepoint.h> 6*4882a593Smuzhiyun 7*4882a593Smuzhiyun #undef TRACE_SYSTEM 8*4882a593Smuzhiyun #define TRACE_SYSTEM kvm 9*4882a593Smuzhiyun 10*4882a593Smuzhiyun TRACE_EVENT(vgic_update_irq_pending, 11*4882a593Smuzhiyun TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level), 12*4882a593Smuzhiyun TP_ARGS(vcpu_id, irq, level), 13*4882a593Smuzhiyun 14*4882a593Smuzhiyun TP_STRUCT__entry( 15*4882a593Smuzhiyun __field( unsigned long, vcpu_id ) 16*4882a593Smuzhiyun __field( __u32, irq ) 17*4882a593Smuzhiyun __field( bool, level ) 18*4882a593Smuzhiyun ), 19*4882a593Smuzhiyun 20*4882a593Smuzhiyun TP_fast_assign( 21*4882a593Smuzhiyun __entry->vcpu_id = vcpu_id; 22*4882a593Smuzhiyun __entry->irq = irq; 23*4882a593Smuzhiyun __entry->level = level; 24*4882a593Smuzhiyun ), 25*4882a593Smuzhiyun 26*4882a593Smuzhiyun TP_printk("VCPU: %ld, IRQ %d, level: %d", 27*4882a593Smuzhiyun __entry->vcpu_id, __entry->irq, __entry->level) 28*4882a593Smuzhiyun ); 29*4882a593Smuzhiyun 30*4882a593Smuzhiyun #endif /* _TRACE_VGIC_H */ 31*4882a593Smuzhiyun 32*4882a593Smuzhiyun #undef TRACE_INCLUDE_PATH 33*4882a593Smuzhiyun #define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic 34*4882a593Smuzhiyun #undef TRACE_INCLUDE_FILE 35*4882a593Smuzhiyun #define TRACE_INCLUDE_FILE trace 36*4882a593Smuzhiyun 37*4882a593Smuzhiyun /* This part must be outside protection */ 38*4882a593Smuzhiyun #include <trace/define_trace.h> 39