static void __init wait_8254_wraparound(void) 
static void __devinit wait_8254_wraparound(void) 
static void __init wait_8254_wraparound(void){	unsigned int curr_count, prev_count;	curr_count = get_8254_timer_count();	do {		prev_count = curr_count;		curr_count = get_8254_timer_count();		/* workaround for broken Mercury/Neptune */		if (prev_count >= curr_count + 0x100)			curr_count = get_8254_timer_count();	} while (prev_count >= curr_count);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/apic.c/clean/arch/i386/kernel/apic.c