| name: trusty_ipc_handle_event |
| ID: 850 |
| 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 chan; offset:8; size:4; signed:0; |
| field:char srv_name[256]; offset:12; size:256; signed:0; |
| field:u32 event_id; offset:268; size:4; signed:0; |
| |
| print fmt: "chan=%u srv_name=%s event=%s", REC->chan, REC->srv_name, __print_symbolic(REC->event_id, { 1, "CONNECTED" }, { 2, "DISCONNECTED" }, { 3, "SHUTDOWN" }) |
