2 * Copyright (C) 2009 Thomas Gleixner <tglx@linutronix.de>
4 * For licencing details see kernel-base/COPYING
6 #include <linux/init.h>
7 #include <linux/ioport.h>
8 #include <linux/module.h>
10 #include <asm/bios_ebda.h>
11 #include <asm/paravirt.h>
12 #include <asm/pci_x86.h>
13 #include <asm/mpspec.h>
14 #include <asm/setup.h>
21 #include <asm/iommu.h>
23 void __cpuinit
x86_init_noop(void) { }
24 void __init
x86_init_uint_noop(unsigned int unused
) { }
25 void __init
x86_init_pgd_noop(pgd_t
*unused
) { }
26 int __init
iommu_init_noop(void) { return 0; }
27 void iommu_shutdown_noop(void) { }
30 * The platform setup functions are preset with the default functions
31 * for standard PC hardware.
33 struct x86_init_ops x86_init __initdata
= {
36 .probe_roms
= x86_init_noop
,
37 .reserve_resources
= reserve_standard_io_resources
,
38 .memory_setup
= default_machine_specific_memory_setup
,
42 .mpc_record
= x86_init_uint_noop
,
43 .setup_ioapic_ids
= x86_init_noop
,
44 .mpc_apic_id
= default_mpc_apic_id
,
45 .smp_read_mpc_oem
= default_smp_read_mpc_oem
,
46 .mpc_oem_bus_info
= default_mpc_oem_bus_info
,
47 .find_smp_config
= default_find_smp_config
,
48 .get_smp_config
= default_get_smp_config
,
52 .pre_vector_init
= init_ISA_irqs
,
53 .intr_init
= native_init_IRQ
,
54 .trap_init
= x86_init_noop
,
58 .arch_setup
= x86_init_noop
,
59 .banner
= default_banner
,
63 .pagetable_setup_start
= native_pagetable_setup_start
,
64 .pagetable_setup_done
= native_pagetable_setup_done
,
68 .setup_percpu_clockev
= setup_boot_APIC_clock
,
69 .tsc_pre_init
= x86_init_noop
,
70 .timer_init
= hpet_time_init
,
74 .iommu_init
= iommu_init_noop
,
78 .init
= x86_default_pci_init
,
79 .init_irq
= x86_default_pci_init_irq
,
80 .fixup_irqs
= x86_default_pci_fixup_irqs
,
84 struct x86_cpuinit_ops x86_cpuinit __cpuinitdata
= {
85 .setup_percpu_clockev
= setup_secondary_APIC_clock
,
88 static void default_nmi_init(void) { };
89 static int default_i8042_detect(void) { return 1; };
91 struct x86_platform_ops x86_platform
= {
92 .calibrate_tsc
= native_calibrate_tsc
,
93 .get_wallclock
= mach_get_cmos_time
,
94 .set_wallclock
= mach_set_rtc_mmss
,
95 .iommu_shutdown
= iommu_shutdown_noop
,
96 .is_untracked_pat_range
= is_ISA_range
,
97 .nmi_init
= default_nmi_init
,
98 .i8042_detect
= default_i8042_detect
101 EXPORT_SYMBOL_GPL(x86_platform
);