akaros/kern/arch/x86/init.h
<<
>>
Prefs
   1/* See COPYRIGHT for copyright information. */
   2
   3#pragma once
   4
   5void arch_init();
   6bool check_timing_stability(void);      /* in rdtsc_test.c */
   7
   8void intel_lpc_init();
   9