ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vmm: fix overmap attempts by seoul and vbox

Browse Source 
If the debug branch of the nova kernel is used, following messages are printed
by the kernel during vCPU setup phase:

[0] overmap attempt OBJ - tree - ...

Fixes #1324
This commit is contained in:
Alexander Boettcher 2014-12-12 20:15:02 +01:00 committed by Christian Helmuth
parent f36c0f150f
commit 51489e2f82
2 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-nova/include/nova/util.h
View File

@ -56,8 +56,8 @@ inline void request_event_portal(Genode::Native_capability const &cap,
inline void request_native_ec_cap(Genode::Native_capability const &cap, inline void request_native_ec_cap(Genode::Native_capability const &cap,
Genode::addr_t sel, unsigned pager_cap = 1) { Genode::addr_t sel, unsigned no_pager_cap = 0) {
request_event_portal(cap, sel , ~0UL, pager_cap); } request_event_portal(cap, sel , ~0UL, no_pager_cap); }
inline void request_signal_sm_cap(Genode::Native_capability const &cap, inline void request_signal_sm_cap(Genode::Native_capability const &cap,

7
repos/base-nova/src/base/thread/thread_nova.cc
View File

@ -85,8 +85,7 @@ void Thread_base::_init_platform_thread(size_t, Type type)
_tid.exc_pt_sel = 0; _tid.exc_pt_sel = 0;
_tid.ec_sel = Nova::PT_SEL_MAIN_EC; _tid.ec_sel = Nova::PT_SEL_MAIN_EC;
enum { DONT_MAP_PAGER_CAP = 0 }; request_native_ec_cap(_pager_cap, _tid.ec_sel);
request_native_ec_cap(_pager_cap, _tid.ec_sel, DONT_MAP_PAGER_CAP);
return; return;
} }
@ -179,7 +178,9 @@ void Thread_base::start()
if (_tid.ec_sel == Native_thread::INVALID_INDEX) if (_tid.ec_sel == Native_thread::INVALID_INDEX)
throw Cpu_session::Thread_creation_failed(); throw Cpu_session::Thread_creation_failed();
request_native_ec_cap(_pager_cap, _tid.ec_sel); /* requested pager cap used by request_native_ec_cap in Signal_source_client */
enum { MAP_PAGER_CAP = 1 };
request_native_ec_cap(_pager_cap, _tid.ec_sel, MAP_PAGER_CAP);
using namespace Nova; using namespace Nova;