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