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

Test for 'Parent::resource_request' interface

Browse Source
This commit is contained in:
Norman Feske
2013-09-28 20:12:10 +02:00
parent 094c5211fd
commit f80c0500af
5 changed files with 181 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
base/src/base/env/platform_env.h vendored
View File

@@ -146,7 +146,12 @@ class Genode::Platform_env : public Genode::Env, public Emergency_ram_reserve
** Emergency_ram_reserve interface **
*************************************/
void release() { _resources.ram.free(_emergency_ram_ds); }
void release() {
PDBG("used before freeing emergency=%zd", _resources.ram.used());
_resources.ram.free(_emergency_ram_ds);
PDBG("used after freeing emergency=%zd", _resources.ram.used());
}
/*******************