2 * Copyright (C) 2009 Thomas Gleixner <tglx@linutronix.de>
4 * For licencing details see kernel-base/COPYING
6 #include <linux/bitmap.h>
7 #include <linux/init.h>
8 #include <linux/ioport.h>
9 #include <linux/list.h>
10 #include <linux/module.h>
11 #include <linux/pci.h>
12 #include <linux/spinlock_types.h>
13 #include <linux/threads.h>
15 #include <asm/pci_x86.h>
16 #include <asm/mpspec.h>
17 #include <asm/setup.h>
23 #include <asm/iommu.h>
24 #include <asm/mach_traps.h>
26 void __cpuinit x86_init_noop(void) { }
27 void __init x86_init_uint_noop(unsigned int unused) { }
28 void __init x86_init_pgd_noop(pgd_t *unused) { }
29 int __init iommu_init_noop(void) { return 0; }
30 void wallclock_init_noop(void) { }
33 * The platform setup functions are preset with the default functions
34 * for standard PC hardware.
36 struct x86_init_ops x86_init __initdata = {
39 #ifdef CONFIG_XEN_PRIVILEGED_GUEST
40 .probe_roms = probe_roms,
42 .probe_roms = x86_init_noop,
44 .reserve_resources = reserve_standard_io_resources,
45 .memory_setup = default_machine_specific_memory_setup,
49 .mpc_record = x86_init_uint_noop,
50 .setup_ioapic_ids = x86_init_noop,
52 .smp_read_mpc_oem = default_smp_read_mpc_oem,
53 .mpc_oem_bus_info = default_mpc_oem_bus_info,
54 .find_smp_config = default_find_smp_config,
55 .get_smp_config = default_get_smp_config,
59 .pre_vector_init = NULL,
61 .trap_init = x86_init_noop,
65 .arch_setup = xen_arch_setup,
66 .banner = x86_init_noop,
70 .pagetable_reserve = xen_pagetable_reserve,
74 .pagetable_setup_start = x86_init_pgd_noop,
75 .pagetable_setup_done = x86_init_pgd_noop,
79 .setup_percpu_clockev = NULL,
80 .tsc_pre_init = x86_init_noop,
81 .timer_init = x86_init_noop,
82 .wallclock_init = x86_init_noop,
86 .iommu_init = iommu_init_noop,
90 .init = x86_default_pci_init,
91 .init_irq = x86_default_pci_init_irq,
92 .fixup_irqs = x86_default_pci_fixup_irqs,
96 static int default_i8042_detect(void) { return 1; };
98 struct x86_platform_ops x86_platform = {
99 .calibrate_tsc = NULL,
100 .wallclock_init = wallclock_init_noop,
101 .get_wallclock = xen_read_wallclock,
102 .set_wallclock = xen_write_wallclock,
103 .is_untracked_pat_range = is_ISA_range,
104 .get_nmi_reason = xen_get_nmi_reason,
105 .i8042_detect = default_i8042_detect
108 EXPORT_SYMBOL_GPL(x86_platform);