#include <linux/export.h>
#include <linux/io.h>
#include <linux/interrupt.h>
#include <linux/list.h>
#include <linux/of.h>
#include <linux/of_fdt.h>
#include <linux/of_address.h>
#include <linux/of_platform.h>
#include <linux/of_irq.h>
#include <linux/libfdt.h>
#include <linux/slab.h>
#include <linux/pci.h>
#include <linux/of_pci.h>
#include <linux/initrd.h>
#include <asm/irqdomain.h>
#include <asm/hpet.h>
#include <asm/apic.h>
#include <asm/io_apic.h>
#include <asm/pci_x86.h>
#include <asm/setup.h>
#include <asm/i8259.h>
#include <asm/numa.h>
#include <asm/prom.h>
__initdata u64 initial_dtb;
char __initdata cmd_line[COMMAND_LINE_SIZE];
int __initdata of_ioapic;
void __init add_dtb(u64 data)
{ … }
static struct of_device_id __initdata ce4100_ids[] = …;
static int __init add_bus_probe(void)
{ … }
device_initcall(add_bus_probe);
#ifdef CONFIG_PCI
struct device_node *pcibios_get_phb_of_node(struct pci_bus *bus)
{ … }
static int x86_of_pci_irq_enable(struct pci_dev *dev)
{ … }
static void x86_of_pci_irq_disable(struct pci_dev *dev)
{ … }
void x86_of_pci_init(void)
{ … }
#endif
static void __init dtb_setup_hpet(void)
{ … }
#ifdef CONFIG_X86_LOCAL_APIC
static void __init dtb_cpu_setup(void)
{ … }
static void __init dtb_lapic_setup(void)
{ … }
#endif
#ifdef CONFIG_X86_IO_APIC
static unsigned int ioapic_id;
struct of_ioapic_type { … };
static struct of_ioapic_type of_ioapic_type[] = …;
static int dt_irqdomain_alloc(struct irq_domain *domain, unsigned int virq,
unsigned int nr_irqs, void *arg)
{ … }
static const struct irq_domain_ops ioapic_irq_domain_ops = …;
static void __init dtb_add_ioapic(struct device_node *dn)
{ … }
static void __init dtb_ioapic_setup(void)
{ … }
#else
static void __init dtb_ioapic_setup(void) {}
#endif
static void __init dtb_apic_setup(void)
{ … }
static void __init x86_dtb_parse_smp_config(void)
{ … }
void __init x86_flattree_get_config(void)
{ … }