2 * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/processor.h>
12 #include <asm/fsp/fsp_support.h>
14 int print_cpuinfo(void)
16 post_code(POST_CPU_INFO);
17 return default_print_cpuinfo();
20 void reset_cpu(ulong addr)
23 outb(0x06, PORT_RESET);
27 int board_pci_post_scan(struct pci_controller *hose)
31 /* call into FspNotify */
32 debug("Calling into FSP (notify phase INIT_PHASE_PCI): ");
33 status = fsp_notify(NULL, INIT_PHASE_PCI);
34 if (status != FSP_SUCCESS)
35 debug("fail, error code %x\n", status);
42 void board_final_cleanup(void)
46 /* call into FspNotify */
47 debug("Calling into FSP (notify phase INIT_PHASE_BOOT): ");
48 status = fsp_notify(NULL, INIT_PHASE_BOOT);
49 if (status != FSP_SUCCESS)
50 debug("fail, error code %x\n", status);