| name: trusty_enqueue_nop | |
| ID: 844 | |
| 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:u32 arg1; offset:8; size:4; signed:0; | |
| field:u32 arg2; offset:12; size:4; signed:0; | |
| field:u32 arg3; offset:16; size:4; signed:0; | |
| print fmt: "arg1=0x%x, arg2=0x%x, arg3=0x%x", REC->arg1, REC->arg2, REC->arg3 |