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

nova: don't try to prepare UTCB in case of vCPU 

vCPU has no UTCB.

Fixes #673
This commit is contained in:
Alexander Boettcher 2013-02-27 10:42:39 +01:00 committed by Norman Feske
parent 751af95b46
commit 974c5442c6
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
base-nova/src/base/thread/thread_nova.cc
View File

@ -149,12 +149,12 @@ void Thread_base::start()
request_event_portal(_pager_cap, _tid.exc_pt_sel, PT_SEL_STARTUP);
request_event_portal(_pager_cap, _tid.exc_pt_sel, SM_SEL_EC);
request_event_portal(_pager_cap, _tid.exc_pt_sel, PT_SEL_RECALL);
}
/* default: we don't accept any mappings or translations */
Utcb * utcb_obj = reinterpret_cast<Utcb *>(utcb());
utcb_obj->crd_rcv = Obj_crd();
utcb_obj->crd_xlt = Obj_crd();
/* default: we don't accept any mappings or translations */
Utcb * utcb_obj = reinterpret_cast<Utcb *>(utcb());
utcb_obj->crd_rcv = Obj_crd();
utcb_obj->crd_xlt = Obj_crd();
}
/* request creation of SC to let thread run*/
env()->cpu_session()->resume(_thread_cap);