| #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> |