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);}