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(pci_dev_t dev, struct pci_controller *hose,
16 const void *blob, int node);
17 int bd82x6x_init(void);
20 * struct x86_cpu_priv - Information about a single CPU
22 * @apic_id: Advanced Programmable Interrupt Controller Identifier, which is
23 * just a number representing the CPU core
25 * TODO: Move this to driver model once lifecycle is understood
32 int model_206ax_init(struct x86_cpu_priv *cpu);