return ((hpet_readl(HPET_COUNTER) - vxtime.last) * vxtime.quot) >> 32;
unsigned long counter = hpet_readl(HPET_COUNTER) - vxtime.last; return (min(counter,hpet_tick) * vxtime.quot) >> 32;
static inline unsigned int do_gettimeoffset_hpet(void){	return ((hpet_readl(HPET_COUNTER) - vxtime.last) * vxtime.quot) >> 32;}