trace.h (883B)
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 10TRACE_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>