[PATCH] 2.4.19-pre10 bug in disable_APIC_timer

[Joe Korty]

Marcelo,
 This one bit me when I actually started using the (relatively) new
services disable_APIC_timer() and enable_APIC_timer().  Enable_APIC_timer()
is coded correctly; this patch fixes the bug in the disable service.

Please apply.  Patch is against 2.4.19-pre10.

Joe

--- linux/arch/i386/kernel/apic.c.orig	Thu Jun  6 15:21:26 2002
+++ linux/arch/i386/kernel/apic.c	Thu Jun  6 15:24:05 2002
@@ -941,7 +941,7 @@
 	smp_call_function(setup_APIC_timer, (void *)calibration_result, 1, 1);
 }
 
-void __init disable_APIC_timer(void)
+void disable_APIC_timer(void)
 {
 	if (using_apic_timer) {
 		unsigned long v;