1469 	size_t map_idx = 0;  in ta_elf_print_mappings()  local
1489 		while (map_idx < num_maps && maps[map_idx].va <= va) {  in ta_elf_print_mappings()
1493 			if (maps[map_idx].va == va) {  in ta_elf_print_mappings()
1494 				pa = maps[map_idx].pa;  in ta_elf_print_mappings()
1501 				if (map_idx + 1 < num_maps &&  in ta_elf_print_mappings()
1502 				    maps[map_idx].sz == SMALL_PAGE_SIZE) {  in ta_elf_print_mappings()
1503 					vaddr_t next_va = maps[map_idx].va +  in ta_elf_print_mappings()
1504 							  maps[map_idx].sz;  in ta_elf_print_mappings()
1505 					size_t comb_sz = maps[map_idx].sz +  in ta_elf_print_mappings()
1506 							 maps[map_idx + 1].sz;  in ta_elf_print_mappings()
1508 					if (next_va == maps[map_idx + 1].va &&  in ta_elf_print_mappings()
1510 					    maps[map_idx].flags ==  in ta_elf_print_mappings()
1511 					    maps[map_idx + 1].flags) {  in ta_elf_print_mappings()
1513 						map_idx += 2;  in ta_elf_print_mappings()
1517 				assert(maps[map_idx].sz == sz);  in ta_elf_print_mappings()
1518 			} else if (maps[map_idx].va < va) {  in ta_elf_print_mappings()
1519 				if (maps[map_idx].va == mpool_base)  in ta_elf_print_mappings()
1522 					  maps[map_idx].va, maps[map_idx].pa,  in ta_elf_print_mappings()
1523 					  maps[map_idx].sz,  in ta_elf_print_mappings()
1524 					  maps[map_idx].flags | f);  in ta_elf_print_mappings()
1527 			map_idx++;  in ta_elf_print_mappings()