|
@@ -3351,8 +3351,8 @@ static void load_elf_image(const char *image_name, const ImageSource *src,
|
|
|
|
|
|
if (align_size != reserve_size) {
|
|
if (align_size != reserve_size) {
|
|
abi_ulong align_addr = ROUND_UP(load_addr, align);
|
|
abi_ulong align_addr = ROUND_UP(load_addr, align);
|
|
- abi_ulong align_end = align_addr + reserve_size;
|
|
|
|
- abi_ulong load_end = load_addr + align_size;
|
|
|
|
|
|
+ abi_ulong align_end = TARGET_PAGE_ALIGN(align_addr + reserve_size);
|
|
|
|
+ abi_ulong load_end = TARGET_PAGE_ALIGN(load_addr + align_size);
|
|
|
|
|
|
if (align_addr != load_addr) {
|
|
if (align_addr != load_addr) {
|
|
target_munmap(load_addr, align_addr - load_addr);
|
|
target_munmap(load_addr, align_addr - load_addr);
|