2 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/processor.h>
13 int arch_cpu_init(void)
15 struct pci_controller *hose;
18 post_code(POST_CPU_INIT);
19 #ifdef CONFIG_SYS_X86_TSC_TIMER
20 timer_set_base(rdtsc());
23 ret = x86_cpu_init_f();
27 ret = pci_early_init_hose(&hose);
34 int print_cpuinfo(void)
36 post_code(POST_CPU_INFO);
37 return default_print_cpuinfo();
40 void reset_cpu(ulong addr)
43 outb(0x08, PORT_RESET);