extern spinlock_t i8253_lock; 
static unsigned int __devinit get_8254_timer_count(void){	extern spinlock_t i8253_lock;	unsigned long flags;	unsigned int count;	spin_lock_irqsave(&i8253_lock, flags);	outb_p(0x00, PIT_MODE);	count = inb_p(PIT_CH0);	count |= inb_p(PIT_CH0) << 8;	spin_unlock_irqrestore(&i8253_lock, flags);	return count;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/306e440daf5f40b195afd83d05dee89fa63189e7/apic.c/clean/arch/i386/kernel/apic.c