1 name: ipi_enter 2 ID: 26 3 format: 4 field:unsigned short common_type; offset:0; size:2; signed:0; 5 field:unsigned char common_flags; offset:2; size:1; signed:0; 6 field:unsigned char common_preempt_count; offset:3; size:1; signed:0; 7 field:int common_pid; offset:4; size:4; signed:1; 8 9 field:u32 irq; offset:8; size:4; signed:0; 10 11 print fmt: "ipinr=%d", REC->irq 12
