201 				vaddr_t addr, size_t memsz)  in check_phdr_in_range()  argument
205 	if (ADD_OVERFLOW(addr, memsz, &max_addr))  in check_phdr_in_range()
346 				     vaddr_t addr, size_t memsz)  in save_soname_from_segment()  argument
363 	assert(!(memsz % dyn_entsize));  in save_soname_from_segment()
364 	num_dyns = memsz / dyn_entsize;  in save_soname_from_segment()
541 			size_t filesz, size_t memsz, size_t flags, size_t align)  in add_segment()  argument
548 	if (memsz < filesz)  in add_segment()
554 	seg->memsz = memsz;  in add_segment()
640 		assert(!ADD_OVERFLOW(seg->vaddr, seg->memsz, &dummy));  in adjust_segments()
641 		assert(seg->filesz <= seg->memsz);  in adjust_segments()
647 			assert(seg->vaddr >= prev_seg->vaddr + prev_seg->memsz);  in adjust_segments()
663 		prev_end_addr = prev_seg->vaddr + prev_seg->memsz;  in adjust_segments()
682 			assert(prev_seg->memsz == prev_seg->filesz);  in adjust_segments()
691 			prev_seg->memsz = seg->vaddr + seg->memsz -  in adjust_segments()
715 		seg->memsz += seg->vaddr - rounddown(seg->vaddr);  in adjust_segments()
732 		size_t pad_end = roundup(last_seg->vaddr + last_seg->memsz -  in populate_segments_legacy()
733 					 seg->vaddr - seg->memsz);  in populate_segments_legacy()
734 		size_t num_bytes = roundup(seg->memsz);  in populate_segments_legacy()
797 		size_t pad_end = roundup(last_seg->vaddr + last_seg->memsz -  in populate_segments()
798 					 seg->vaddr - seg->memsz);  in populate_segments()
801 			size_t num_bytes = roundup(seg->vaddr + seg->memsz) -  in populate_segments()
816 			size_t memsz = seg->memsz;  in populate_segments()  local
833 					if (vaddr + memsz <= SMALL_PAGE_SIZE)  in populate_segments()
842 					num_bytes = roundup(vaddr + memsz) -  in populate_segments()
857 				memsz -= SMALL_PAGE_SIZE;  in populate_segments()
884 				res = sys_map_zi(memsz, 0, &va, pad_begin,  in populate_segments()
887 					res = sys_map_zi(memsz, 0, &va, 0,  in populate_segments()
896 				if (filesz != memsz)  in populate_segments()
913 			elf->max_addr = roundup(va + memsz);  in populate_segments()
929 			res = sys_set_prot(va, seg->memsz, flags);  in ta_elf_add_bti()
1023 				roundup(seg->vaddr + seg->memsz));  in map_segments()
1026 					roundup(seg->vaddr + seg->memsz));  in map_segments()
1037 				  vaddr_t addr, size_t memsz)  in add_deps_from_segment()  argument
1051 	check_phdr_in_range(elf, type, addr, memsz);  in add_deps_from_segment()
1058 	assert(!(memsz % dyn_entsize));  in add_deps_from_segment()
1059 	num_dyns = memsz / dyn_entsize;  in add_deps_from_segment()
1166 			num_bytes = roundup(seg->vaddr + seg->memsz) -  in clean_elf_load_main()
1169 			num_bytes = seg->memsz;  in clean_elf_load_main()
1356 		res = sys_set_prot(va, seg->memsz, flags);  in ta_elf_finalize_mappings()
1485 			sz = roundup(seg->vaddr + seg->memsz) -  in ta_elf_print_mappings()
1645 				vaddr_t addr, size_t memsz, vaddr_t *init,  in get_init_fini_array()  argument
1658 	check_phdr_in_range(elf, type, addr, memsz);  in get_init_fini_array()
1668 	assert(!(memsz % dyn_entsize));  in get_init_fini_array()
1669 	num_dyns = memsz / dyn_entsize;  in get_init_fini_array()