2 * Copyright (C) 2014 Google, Inc
4 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef _ASM_ARCH_BD82X6X_H
8 #define _ASM_ARCH_BD82X6X_H
10 void bd82x6x_sata_init(pci_dev_t dev, const void *blob, int node);
11 void bd82x6x_sata_enable(pci_dev_t dev, const void *blob, int node);
12 void bd82x6x_pci_init(pci_dev_t dev);
13 void bd82x6x_usb_ehci_init(pci_dev_t dev);
14 void bd82x6x_usb_xhci_init(pci_dev_t dev);
15 int gma_func0_init(struct udevice *dev, const void *blob, int node);
16 int bd82x6x_init_extra(void);
19 * struct x86_cpu_priv - Information about a single CPU
21 * @apic_id: Advanced Programmable Interrupt Controller Identifier, which is
22 * just a number representing the CPU core
24 * TODO: Move this to driver model once lifecycle is understood
31 int model_206ax_init(struct x86_cpu_priv *cpu);