ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-22 01:53:00 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw_x86_64: Simplify kernel physical init

Browse Source 
Merge finish_init_phys_kernel into init_phys_kernel function.
This commit is contained in:
Adrian-Ken Rueegsegger 2015-04-21 23:07:44 +02:00 committed by Christian Helmuth
parent bb06826c95
commit 370271324e
1 changed files with 5 additions and 3 deletions

8
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