eax = min(hpet_tick, eax); 
static unsigned long get_offset_hpet(void){	register unsigned long eax, edx;	eax = hpet_readl(HPET_COUNTER);	eax -= hpet_last;	/* hpet delta */	/*         * Time offset = (hpet delta) * ( usecs per HPET clock )	 *             = (hpet delta) * ( usecs per tick / HPET clocks per tick)	 *             = (hpet delta) * ( hpet_usec_quotient ) / (2^32)	 *	 * Where,	 * hpet_usec_quotient = (2^32 * usecs per tick)/HPET clocks per tick	 *	 * Using a mull instead of a divl saves some cycles in critical path.         */	ASM_MUL64_REG(eax, edx, hpet_usec_quotient, eax);	/* our adjusted time offset in microseconds */	return edx;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/35492df5ae0f36f717448b2aea908d3a8891d1c4/timer_hpet.c/buggy/arch/i386/kernel/timers/timer_hpet.c