insn_array_alloc_size
return insn_array_alloc_size(map->max_entries);
u64 size = insn_array_alloc_size(attr->max_entries);