extern void early_printk(const char *fmt, ...) __attribute__((format(printf,1,2)));
extern void early_printk(const char *fmt, ...) __attribute__((format(printf,1,2)));
extern void syscall32_cpu_init(void);
extern void setup_node_bootmem(int nodeid, unsigned long start, unsigned long end);
extern void syscall32_cpu_init(void);
extern void setup_node_bootmem(int nodeid, unsigned long start, unsigned long end);
extern void select_idle_routine(const struct cpuinfo_x86 *c);
extern unsigned long table_start, table_end;
extern void select_idle_routine(const struct cpuinfo_x86 *c);
extern unsigned long table_start, table_end;
extern void iommu_hole_init(void);
extern int fallback_aper_order;
extern int fallback_aper_force;
extern void iommu_hole_init(void);
extern int fallback_aper_order;
extern int fallback_aper_force;