| name: trusty_ipc_write |
| ID: 851 |
| 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:int len_or_err; offset:8; size:4; signed:1; |
| field:u32 chan; offset:12; size:4; signed:0; |
| field:char srv_name[256]; offset:16; size:256; signed:0; |
| field:u64 buf_id; offset:272; size:8; signed:0; |
| field:size_t shm_cnt; offset:280; size:8; signed:0; |
| field:__data_loc int[] kind_shm; offset:288; size:4; signed:1; |
| |
| print fmt: "len_or_err=%d chan=%u srv_name=%s buf_id=0x%llx shm_cnt=%zu kind_shm=%s", REC->len_or_err, REC->chan, REC->srv_name, REC->buf_id, REC->shm_cnt, __print_array(__get_dynamic_array(kind_shm), __get_dynamic_array_len(kind_shm) / sizeof(int), sizeof(int)) |
