#include <linux/tracepoint.h>
#include <trace/define_trace.h>
Go to the source code of this file.
|
| 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)) |
|
◆ _TRACE_VGIC_H
◆ TRACE_INCLUDE_FILE
#define TRACE_INCLUDE_FILE trace |
◆ TRACE_INCLUDE_PATH
#define TRACE_INCLUDE_PATH ../../arch/arm64/kvm/vgic |
◆ TRACE_SYSTEM
◆ TRACE_EVENT()
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) |
|
|
) |
| |