2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/processor.h>
12 int arch_cpu_init(void)
16 post_code(POST_CPU_INIT);
17 #ifdef CONFIG_SYS_X86_TSC_TIMER
18 timer_set_base(rdtsc());
21 ret = x86_cpu_init_f();
28 int print_cpuinfo(void)
30 post_code(POST_CPU_INFO);
31 return default_print_cpuinfo();
34 void reset_cpu(ulong addr)
40 int arch_misc_init(void)