extern void config_acpi_tables(void);
extern void ia32_syscall(void);
+extern void iommu_hole_init(void);
extern int pmtimer_mark_offset(void);
extern void pmtimer_resume(void);
extern int nohpet;
extern unsigned long vxtime_hz;
+extern void do_softirq_thunk(void);
+
extern int numa_setup(char *opt);
extern int setup_early_printk(char *);
extern unsigned long end_pfn_map;
-extern void show_trace(struct task_struct *, struct pt_regs *, unsigned long * rsp);
+extern void show_trace(unsigned long * rsp);
extern void show_registers(struct pt_regs *regs);
extern void exception_table_check(void);
extern void select_idle_routine(const struct cpuinfo_x86 *c);
+extern void gart_parse_options(char *);
+extern void __init no_iommu_init(void);
+
extern unsigned long table_start, table_end;
extern int exception_trace;
+extern int force_iommu, no_iommu;
extern int using_apic_timer;
extern int disable_apic;
extern unsigned cpu_khz;
extern int acpi_ht;
extern int acpi_disabled;
-extern void no_iommu_init(void);
-extern int force_iommu, no_iommu;
-extern int iommu_detected;
-#ifdef CONFIG_IOMMU
-extern void gart_iommu_init(void);
-extern void gart_parse_options(char *);
-extern void iommu_hole_init(void);
+#ifdef CONFIG_GART_IOMMU
extern int fallback_aper_order;
extern int fallback_aper_force;
extern int iommu_aperture;
#define iommu_aperture 0
#define iommu_aperture_allowed 0
#endif
+extern int force_iommu;
extern int reboot_force;
extern int notsc_setup(char *);