2 * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
12 #include <asm/fsp/fsp_support.h>
14 static struct pci_device_id mmc_supported[] = {
15 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_VALLEYVIEW_SDIO },
16 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_VALLEYVIEW_SDCARD },
19 int cpu_mmc_init(bd_t *bis)
21 return pci_mmc_init("ValleyView SDHCI", mmc_supported,
22 ARRAY_SIZE(mmc_supported));
25 #ifndef CONFIG_EFI_APP
26 int arch_cpu_init(void)
30 post_code(POST_CPU_INIT);
31 #ifdef CONFIG_SYS_X86_TSC_TIMER
32 timer_set_base(rdtsc());
35 ret = x86_cpu_init_f();
42 int arch_misc_init(void)
50 return fsp_init_phase_pci();