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 *);
#define iommu_aperture 0
#define iommu_aperture_allowed 0
#endif
+extern int force_iommu;
extern int reboot_force;
extern int notsc_setup(char *);