kern/arch/x86/init.h

/* See COPYRIGHT for copyright information. */

#pragma once

void arch_init();
bool check_timing_stability(void);	/* in rdtsc_test.c */

void intel_lpc_init();