/* Return usecs since last timer reload (timercount * (usecs perjiffie)) / (ticks per jiffie)  */
unsigned long h720x_gettimeoffset(void)
/* Return usecs since last timer reload (timercount * (usecs perjiffie)) / (ticks per jiffie)  */
unsigned long h720x_gettimeoffset(void)
{
	return (CPU_REG (TIMER_VIRT, TM0_COUNT) * tick_usec) / LATCH;
}