| name: edgetpu_map_buffer_end |
| ID: 1117 |
| 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:__u64 host_address; offset:8; size:8; signed:0; |
| field:__u64 size; offset:16; size:8; signed:0; |
| field:__u64 device_address; offset:24; size:8; signed:0; |
| field:edgetpu_map_flag_t flags; offset:32; size:4; signed:0; |
| field:__u32 die_index; offset:36; size:4; signed:0; |
| |
| print fmt: "host_address = 0x%llx, size = %llu, device_address = 0x%llx, flags = 0x%x, die_index = %u", REC->host_address, REC->size, REC->device_address, REC->flags, REC->die_index |
