base-hw: fix compile errors with GCC 8.3.0

Fixes #3326
This commit is contained in:
Christian Prochaska
2019-05-06 14:06:50 +02:00
committed by Christian Helmuth
parent 5c77ebb1fb
commit 4fc3eca4aa
4 changed files with 11 additions and 11 deletions

View File

@ -25,7 +25,7 @@ Kernel::Vm::Vm(void * const state,
void * const /* table */)
:
Cpu_job(Cpu_priority::MIN, 0),
_state((Genode::Vm_state * const)state),
_state((Genode::Vm_state *)state),
_context(context), _table(0)
{
affinity(cpu_pool().primary_cpu());

View File

@ -210,7 +210,7 @@ Kernel::Vm::Vm(void * const state,
void * const table)
: Cpu_job(Cpu_priority::MIN, 0),
_id(alloc().alloc()),
_state((Genode::Vm_state * const)state),
_state((Genode::Vm_state *)state),
_context(context),
_table(table)
{

View File

@ -23,7 +23,7 @@
Kernel::Vm::Vm(void * const state, Kernel::Signal_context * const context,
void * const)
: Cpu_job(Cpu_priority::MIN, 0),
_state((Genode::Vm_state * const) state),
_state((Genode::Vm_state *) state),
_context(context),
_table(nullptr)
{