2 * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
4 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/mrccache.h>
14 static struct pci_device_id mmc_supported[] = {
15 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_BYT_SDIO },
16 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_BYT_SD },
17 { PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_BYT_EMMC2 },
21 int cpu_mmc_init(bd_t *bis)
23 return pci_mmc_init("ValleyView SDHCI", mmc_supported);
26 #ifndef CONFIG_EFI_APP
27 int arch_cpu_init(void)
29 post_code(POST_CPU_INIT);
31 return x86_cpu_init_f();
34 int arch_misc_init(void)
39 #ifdef CONFIG_ENABLE_MRC_CACHE
41 * We intend not to check any return value here, as even MRC cache
42 * is not saved successfully, it is not a severe error that will
43 * prevent system from continuing to boot.
53 void reset_cpu(ulong addr)