| name: kvm_irq_line |
| ID: 40 |
| format: |
| field:unsigned short common_type; offset:0; size:2; signed:0; |
| field:unsigned char common_flags; offset:2; size:1; signed:0; |
| field:unsigned char common_preempt_count; offset:3; size:1; signed:0; |
| field:int common_pid; offset:4; size:4; signed:1; |
| |
| field:unsigned int type; offset:8; size:4; signed:0; |
| field:int vcpu_idx; offset:12; size:4; signed:1; |
| field:int irq_num; offset:16; size:4; signed:1; |
| field:int level; offset:20; size:4; signed:1; |
| |
| print fmt: "Inject %s interrupt (%d), vcpu->idx: %d, num: %d, level: %d", (REC->type == 0) ? "CPU" : (REC->type == 2) ? "VGIC PPI" : (REC->type == 1) ? "VGIC SPI" : "UNKNOWN", REC->type, REC->vcpu_idx, REC->irq_num, REC->level |