2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/processor.h>
11 int arch_cpu_init(void)
15 post_code(POST_CPU_INIT);
16 #ifdef CONFIG_SYS_X86_TSC_TIMER
17 timer_set_base(rdtsc());
20 ret = x86_cpu_init_f();
27 int print_cpuinfo(void)
29 post_code(POST_CPU_INFO);
30 return default_print_cpuinfo();
33 void reset_cpu(ulong addr)