extern spinlock_t i8253_lock; 
void setup_pit_timer(void){	extern spinlock_t i8253_lock;	unsigned long flags;	spin_lock_irqsave(&i8253_lock, flags);	outb_p(0x34,PIT_MODE);		/* binary, mode 2, LSB/MSB, ch 0 */	udelay(10);	outb_p(LATCH & 0xff , PIT_CH0);	/* LSB */	udelay(10);	outb(LATCH >> 8 , PIT_CH0);	/* MSB */	spin_unlock_irqrestore(&i8253_lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/306e440daf5f40b195afd83d05dee89fa63189e7/timer_pit.c/buggy/arch/i386/kernel/timers/timer_pit.c