1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (c) 2016 Google, Inc
9 #include <asm/cpu_common.h>
10 #include <asm/intel_regs.h>
11 #include <asm/lapic.h>
12 #include <asm/lpc_common.h>
16 #include <asm/microcode.h>
18 DECLARE_GLOBAL_DATA_PTR;
20 int arch_cpu_init(void)
24 ret = x86_cpu_reinit_f();