RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

boot: remove unnecessary reserve increment

Browse Source 
The increment and reserve here is not an issue, but to keep
consistency with the change made in 291af86 we should remove it.

See PR #1317 for more info

Signed-off-by: James Martin <fennelfoxxo@gmail.com>
This commit is contained in:
FennelFoxxo
2024-09-09 06:38:50 -07:00
committed by Indan Zupancic
parent 4018ad5942
commit e995b64653
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/kernel/boot.c
View File

@@ -980,8 +980,8 @@ BOOT_CODE bool_t init_freemem(word_t n_available, const p_region_t *available,
insert_region(m);
if (avail_reg[a].end > reserved[r].end) {
avail_reg[a].start = reserved[r].end;
reserve_region(pptr_to_paddr_reg(reserved[r]));
r++;
/* we could increment reserved index here, but it's more consistent with the
* other overlapping case if we don't */
} else {
a++;
}