mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
parent
dbad6f7061
commit
ea156e18ec
@ -603,7 +603,12 @@ void Thread::_call_access_thread_regs()
|
||||
|
||||
void Thread::_call_update_pd()
|
||||
{
|
||||
assert(_core());
|
||||
/* check permissions */
|
||||
if (!_core()) {
|
||||
PWRN("not entitled to update domain");
|
||||
return;
|
||||
}
|
||||
/* update hardware caches */
|
||||
Processor::flush_tlb_by_pid(user_arg_1());
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user