mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
parent
96fbd9e832
commit
251d08d511
@ -515,7 +515,7 @@ namespace Kernel
|
||||
*
|
||||
* Restricted to core threads.
|
||||
*/
|
||||
inline void run_vm(unsigned const id = 0) {
|
||||
inline void run_vm(unsigned const id) {
|
||||
syscall(RUN_VM, (Syscall_arg)id); }
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user