X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=lib_i386%2Fpcat_timer.c;h=c351b23b6334ac5f46b613f8a6a21b304b761b35;hb=6b8f5ad10f567362a3682840f59ba0fc470af319;hp=e282f649acf6ea1f84e39075ea72632a04abfbaf;hpb=ee1702d75a30d076139d1841383a1fa7220a0e11;p=u-boot

diff --git a/lib_i386/pcat_timer.c b/lib_i386/pcat_timer.c
index e282f649ac..c351b23b63 100644
--- a/lib_i386/pcat_timer.c
+++ b/lib_i386/pcat_timer.c
@@ -25,10 +25,13 @@
 #include <asm/io.h>
 #include <asm/i8254.h>
 #include <asm/ibmpc.h>
+#include <asm/interrupt.h>
 
 #define TIMER0_VALUE 0x04aa /* 1kHz 1.9318MHz / 1000 */
 #define TIMER2_VALUE 0x0a8e /* 440Hz */
 
+static int timer_init_done = 0;
+
 int timer_init(void)
 {
 	/* initialize timer 0 and 2
@@ -52,6 +55,8 @@ int timer_init(void)
 	irq_install_handler (0, timer_isr, NULL);
 	unmask_irq (0);
 
+	timer_init_done = 1;
+
 	return 0;
 }