236 			size_t sz)  in check_range()  argument
243 	if (ADD_OVERFLOW((vaddr_t)ptr, sz, &max_addr))  in check_range()
262 	size_t sz = 0;  in check_hashtab()  local
269 	    MUL_OVERFLOW(num_words, sizeof(uint32_t), &sz))  in check_hashtab()
272 	check_range(elf, "DT_HASH", ptr, sz);  in check_hashtab()
280 	size_t sz = 0;  in check_gnu_hashtab()  local
297 	    MUL_OVERFLOW(num_words, sizeof(uint32_t), &sz) ||  in check_gnu_hashtab()
298 	    sz > elf->gnu_hashtab_size)  in check_gnu_hashtab()
490 	size_t sz = 0;  in init_elf()  local
521 	if (MUL_OVERFLOW(elf->e_phnum, elf->e_phentsize, &sz) ||  in init_elf()
522 	    ADD_OVERFLOW(sz, elf->e_phoff, &sz))  in init_elf()
525 	if (sz > SMALL_PAGE_SIZE)  in init_elf()
1008 		size_t sz = elf->max_addr - elf->load_addr;  in map_segments()  local
1023 		res = sys_remap(elf->load_addr, &va, sz, pad_begin,  in map_segments()
1026 			res = sys_remap(elf->load_addr, &va, sz, 0,  in map_segments()
1032 		elf->max_addr = va + sz;  in map_segments()
1109 	size_t sz = 0;  in copy_section_headers()  local
1112 	if (MUL_OVERFLOW(elf->e_shnum, elf->e_shentsize, &sz))  in copy_section_headers()
1115 	elf->shdr = malloc(sz);  in copy_section_headers()
1126 		offs = MIN(SMALL_PAGE_SIZE - elf->e_shoff, sz);  in copy_section_headers()
1131 	if (offs < sz) {  in copy_section_headers()
1133 					   sz - offs, elf->handle,  in copy_section_headers()
1388 		      size_t sz __maybe_unused, uint32_t flags)  in print_seg()
1424 		      idx, width, va, width, pa, sz, flags_str, desc);  in print_seg()
1493 		size_t sz = 0;  in ta_elf_print_mappings()  local
1498 			sz = roundup(seg->vaddr + seg->memsz) -  in ta_elf_print_mappings()
1515 				    maps[map_idx].sz == SMALL_PAGE_SIZE) {  in ta_elf_print_mappings()
1517 							  maps[map_idx].sz;  in ta_elf_print_mappings()
1518 					size_t comb_sz = maps[map_idx].sz +  in ta_elf_print_mappings()
1519 							 maps[map_idx + 1].sz;  in ta_elf_print_mappings()
1522 					    comb_sz == sz &&  in ta_elf_print_mappings()
1530 				assert(maps[map_idx].sz == sz);  in ta_elf_print_mappings()
1536 					  maps[map_idx].sz,  in ta_elf_print_mappings()
1553 		print_seg(pctx, print_func, idx, elf_idx, va, pa, sz, flags);  in ta_elf_print_mappings()