123456789101112131415161718192021222324252627282930313233343536373839 |
- /* SPDX-License-Identifier: GPL-2.0 */
- #if !defined(_TRACE_VGIC_H) || defined(TRACE_HEADER_MULTI_READ)
- #define _TRACE_VGIC_H
- #include <linux/tracepoint.h>
- #undef TRACE_SYSTEM
- #define TRACE_SYSTEM kvm
- TRACE_EVENT(vgic_update_irq_pending,
- TP_PROTO(unsigned long vcpu_id, __u32 irq, bool level),
- TP_ARGS(vcpu_id, irq, level),
- TP_STRUCT__entry(
- __field( unsigned long, vcpu_id )
- __field( __u32, irq )
- __field( bool, level )
- ),
- TP_fast_assign(
- __entry->vcpu_id = vcpu_id;
- __entry->irq = irq;
- __entry->level = level;
- ),
- TP_printk("VCPU: %ld, IRQ %d, level: %d",
- __entry->vcpu_id, __entry->irq, __entry->level)
- );
- #endif /* _TRACE_VGIC_H */
- #undef TRACE_INCLUDE_PATH
- #define TRACE_INCLUDE_PATH ../../../virt/kvm/arm/vgic
- #undef TRACE_INCLUDE_FILE
- #define TRACE_INCLUDE_FILE trace
- /* This part must be outside protection */
- #include <trace/define_trace.h>
|