|
@@ -44,7 +44,6 @@ extern unsigned long saved_video_mode;
|
|
|
|
|
|
extern void reserve_standard_io_resources(void);
|
|
extern void reserve_standard_io_resources(void);
|
|
extern void i386_reserve_resources(void);
|
|
extern void i386_reserve_resources(void);
|
|
-extern void setup_default_timer_irq(void);
|
|
|
|
|
|
|
|
#ifdef CONFIG_X86_INTEL_MID
|
|
#ifdef CONFIG_X86_INTEL_MID
|
|
extern void x86_intel_mid_early_setup(void);
|
|
extern void x86_intel_mid_early_setup(void);
|