| name: kvm_set_irq |
| ID: 31 |
| 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 gsi; offset:8; size:4; signed:0; |
| field:int level; offset:12; size:4; signed:1; |
| field:int irq_source_id; offset:16; size:4; signed:1; |
| |
| print fmt: "gsi %u level %d source %d", REC->gsi, REC->level, REC->irq_source_id |
