From 370271324e50732537347c983686d9b0e91f5e1f Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Tue, 21 Apr 2015 23:07:44 +0200 Subject: [PATCH] hw_x86_64: Simplify kernel physical init Merge finish_init_phys_kernel into init_phys_kernel function. --- repos/base-hw/src/core/include/spec/x86/cpu_support.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/repos/base-hw/src/core/include/spec/x86/cpu_support.h b/repos/base-hw/src/core/include/spec/x86/cpu_support.h index 6ae0e07069..52928a9a88 100644 --- a/repos/base-hw/src/core/include/spec/x86/cpu_support.h +++ b/repos/base-hw/src/core/include/spec/x86/cpu_support.h @@ -365,12 +365,14 @@ class Genode::Cpu */ static void init_virt_kernel(Kernel::Pd * pd); - inline static void finish_init_phys_kernel() { _init_fpu(); } - /** * Configure this module appropriately for the first kernel run */ - static void init_phys_kernel() { Timer::disable_pit(); }; + static void init_phys_kernel() + { + Timer::disable_pit(); + _init_fpu(); + }; /** * Finish all previous data transfers