ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-nova: show size of framebuffer correctly

This commit is contained in:
Alexander Boettcher 2020-01-13 10:34:09 +01:00 committed by Christian Helmuth
parent 4fc6c4ff5c
commit 734752d6b5
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
repos/base-nova/src/core/platform.cc
View File

@ -556,17 +556,11 @@ Platform::Platform()
for (unsigned i = 0; i < num_mem_desc; i++, mem_desc++) {
if (mem_desc->type == Hip::Mem_desc::AVAILABLE_MEMORY) continue;
if (verbose_boot_info)
log("detected res memory: ", Hex(mem_desc->addr), " - size: ",
Hex(mem_desc->size), " type=", (int)mem_desc->type);
if (mem_desc->type == Hip::Mem_desc::HYPERVISOR_LOG) {
hyp_log = mem_desc->addr;
hyp_log_size = mem_desc->size;
}
/* skip regions above 4G on 32 bit, no op on 64 bit */
if (mem_desc->addr > ~0UL) continue;
addr_t base = trunc_page(mem_desc->addr);
size_t size = mem_desc->size;
@ -578,6 +572,13 @@ Platform::Platform()
size = pitch * height;
}
if (verbose_boot_info)
log("reserved memory: ", Hex(mem_desc->addr), " - size: ",
Hex(size), " type=", (int)mem_desc->type);
/* skip regions above 4G on 32 bit, no op on 64 bit */
if (mem_desc->addr > ~0UL) continue;
/* truncate size if base+size larger then natural 32/64 bit boundary */
if (mem_desc->addr + size < mem_desc->addr)
size = 0UL - base;