mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
parent
7bbabcf817
commit
99db9e5246
@ -910,13 +910,17 @@ void Thread::_call_new_vm()
|
||||
void Thread::_call_run_vm()
|
||||
{
|
||||
/* check permissions */
|
||||
assert(_core());
|
||||
|
||||
/* get targeted vm via its id */
|
||||
if (!_core()) {
|
||||
PWRN("not entitled to run virtual machine");
|
||||
return;
|
||||
}
|
||||
/* lookup virtual machine */
|
||||
Vm * const vm = Vm::pool()->object(user_arg_1());
|
||||
assert(vm);
|
||||
|
||||
/* run targeted vm */
|
||||
if (!vm) {
|
||||
PWRN("failed to lookup virtual machine");
|
||||
return;
|
||||
}
|
||||
/* run virtual machine */
|
||||
vm->run();
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user