mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
parent
97e3572844
commit
98bf2dadb8
@ -21,7 +21,7 @@
|
||||
do { \
|
||||
Genode::error("Unexpected call of '", __FUNCTION__, "' " \
|
||||
"(", __FILE__, ":", __LINE__, ")"); \
|
||||
for (;;); throw 0UL; \
|
||||
for (;;); \
|
||||
} while (false)
|
||||
|
||||
#endif /* _CORE__INCLUDE__ASSERTION_H_ */
|
||||
|
@ -81,8 +81,6 @@ class Core::Core_env : public Env_deprecated, Noncopyable
|
||||
_pd_session.init_cap_and_ram_accounts();
|
||||
}
|
||||
|
||||
~Core_env() { parent()->exit(0); }
|
||||
|
||||
Rpc_entrypoint &entrypoint() { return _entrypoint; }
|
||||
Ram_allocator &ram_allocator() { return _synced_ram_allocator; }
|
||||
Region_map &local_rm() { return _region_map; }
|
||||
|
Loading…
x
Reference in New Issue
Block a user