ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 16:14:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

core: omit allocator info at boot time

Browse Source 
Fixes #2549
This commit is contained in:
Norman Feske 2017-12-13 19:52:06 +01:00 committed by Christian Helmuth
parent 48132c9ca3
commit 552662d594
7 changed files with 8 additions and 68 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-fiasco/src/core/platform.cc
View File

@ -430,13 +430,7 @@ Platform::Platform() :
_setup_irq_alloc(); _setup_irq_alloc();
_init_rom_modules(); _init_rom_modules();
log(":ram_alloc: ", _ram_alloc); log(_rom_fs);
log(":region_alloc: ", _region_alloc);
log(":io_mem: ", _io_mem_alloc);
log(":io_port: ", _io_port_alloc);
log(":irq: ", _irq_alloc);
log(":rom_fs: ", _rom_fs);
log(":core ranges: ", _core_address_ranges);
Fiasco::l4_threadid_t myself = Fiasco::l4_myself(); Fiasco::l4_threadid_t myself = Fiasco::l4_myself();

8
repos/base-foc/src/core/platform.cc
View File

@ -432,13 +432,7 @@ Platform::Platform() :
_setup_irq_alloc(); _setup_irq_alloc();
_init_rom_modules(); _init_rom_modules();
log(":ram_alloc: ", _ram_alloc); log(_rom_fs);
log(":region_alloc: ", _region_alloc);
log(":io_mem: ", _io_mem_alloc);
log(":io_port: ", _io_port_alloc);
log(":irq: ", _irq_alloc);
log(":rom_fs: ", _rom_fs);
log(":core ranges: ", _core_address_ranges());
Core_cap_index* pdi = Core_cap_index* pdi =
reinterpret_cast<Core_cap_index*>(cap_map()->insert(_cap_id_alloc.alloc(), Fiasco::L4_BASE_TASK_CAP)); reinterpret_cast<Core_cap_index*>(cap_map()->insert(_cap_id_alloc.alloc(), Fiasco::L4_BASE_TASK_CAP));

8
repos/base-hw/src/core/platform.cc
View File

@ -158,13 +158,7 @@ Platform::Platform()
init_core_log(Core_log_range { core_local_addr, log_size } ); init_core_log(Core_log_range { core_local_addr, log_size } );
} }
/* print ressource summary */ log(_rom_fs);
log(":virt_alloc: ", *_core_mem_alloc.virt_alloc());
log(":phys_alloc: ", *_core_mem_alloc.phys_alloc());
log(":io_mem_alloc: ", _io_mem_alloc);
log(":io_port_alloc: ", _io_port_alloc);
log(":irq_alloc: ", _irq_alloc);
log(":rom_fs: ", _rom_fs);
} }

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

@ -723,12 +723,7 @@ Platform::Platform() :
_irq_alloc.add_range(0, hip->sel_gsi); _irq_alloc.add_range(0, hip->sel_gsi);
_gsi_base_sel = (hip->mem_desc_offset - hip->cpu_desc_offset) / hip->cpu_desc_size; _gsi_base_sel = (hip->mem_desc_offset - hip->cpu_desc_offset) / hip->cpu_desc_size;
if (verbose_boot_info) { log(_rom_fs);
log(":virt_alloc: ", *_core_mem_alloc.virt_alloc());
log(":phys_alloc: ", *_core_mem_alloc.phys_alloc());
log(":io_mem_alloc: ", _io_mem_alloc);
log(":rom_fs: ", _rom_fs);
}
/* add capability selector ranges to map */ /* add capability selector ranges to map */
unsigned const first_index = 0x2000; unsigned const first_index = 0x2000;

7
repos/base-okl4/src/core/platform.cc
View File

@ -171,12 +171,7 @@ Platform::Platform() :
_vm_start = 0x1000; _vm_start = 0x1000;
_vm_size = 0xb0000000 - 0x1000; _vm_size = 0xb0000000 - 0x1000;
log(":phys_alloc: ", *_core_mem_alloc.phys_alloc()); log(_rom_fs);
log(":virt_alloc: ", *_core_mem_alloc.virt_alloc());
log(":io_mem: ", _io_mem_alloc);
log(":io_port: ", _io_port_alloc);
log(":irq: ", _irq_alloc);
log(":rom_fs: ", _rom_fs);
/* setup task object for core task */ /* setup task object for core task */
_core_pd = new(core_mem_alloc()) Platform_pd(true); _core_pd = new(core_mem_alloc()) Platform_pd(true);

27
repos/base-pistachio/src/core/platform.cc
View File

@ -47,9 +47,8 @@ namespace Pistachio {
using namespace Genode; using namespace Genode;
static const bool verbose = true; static const bool verbose = true;
static const bool verbose_core_pf = true; static const bool verbose_core_pf = true;
static const bool verbose_region_alloc = false;
/*********************************** /***********************************
@ -287,9 +286,6 @@ static inline void add_region(Region r, Range_allocator &alloc)
panic("add_region called with bogus parameters."); panic("add_region called with bogus parameters.");
} }
if (verbose_region_alloc)
log(&alloc, " add: ", r);
/* adjust region */ /* adjust region */
addr_t start = trunc_page(r.start); addr_t start = trunc_page(r.start);
addr_t end = round_page(r.end); addr_t end = round_page(r.end);
@ -306,9 +302,6 @@ static inline void remove_region(Region r, Range_allocator &alloc)
if (r.start >= r.end) if (r.start >= r.end)
panic("remove_region called with bogus parameters."); panic("remove_region called with bogus parameters.");
if (verbose_region_alloc)
log(&alloc, " remove: ", r);
/* adjust region */ /* adjust region */
addr_t start = trunc_page(r.start); addr_t start = trunc_page(r.start);
addr_t end = round_page(r.end); addr_t end = round_page(r.end);
@ -605,21 +598,7 @@ Platform::Platform() :
_setup_irq_alloc(); _setup_irq_alloc();
_init_rom_modules(); _init_rom_modules();
/* log(_rom_fs);
* When dumping 'ram_alloc', there are several small blocks in addition
* to the available free memory visible. These small blocks are used to
* hold the meta data for the ROM modules as initialized by
* '_init_rom_modules'.
*/
if (verbose) {
log(":ram_alloc: ", _ram_alloc);
log(":region_alloc: ", _region_alloc);
log(":io_mem: ", _io_mem_alloc);
log(":io_port: ", _io_port_alloc);
log(":irq: ", _irq_alloc);
log(":rom_fs: ", _rom_fs);
log(":core ranges: ", _core_address_ranges);
}
/* /*
* We setup the thread object for thread0 in core task using a * We setup the thread object for thread0 in core task using a

11
repos/base-sel4/src/core/platform.cc
View File

@ -608,17 +608,6 @@ Platform::Platform()
init_core_log(Core_log_range { core_local_addr, log_size } ); init_core_log(Core_log_range { core_local_addr, log_size } );
} }
/*
* Log statistics about allocator initialization
*/
if (verbose_boot_info) {
log(":phys_alloc: ", *_core_mem_alloc.phys_alloc());
log(":unused_phys_alloc:", _unused_phys_alloc);
log(":unused_virt_alloc:", _unused_virt_alloc);
log(":virt_alloc: ", *_core_mem_alloc.virt_alloc());
log(":io_mem_alloc: ", _io_mem_alloc);
}
_init_rom_modules(); _init_rom_modules();
platform_in_construction = nullptr; platform_in_construction = nullptr;