/* Changelog: 24-Sep-1996 RMK Created 10-Oct-1996 RMK Brought up to date with arch-sa110eval 04-Dec-1997 RMK Updated for new arch/arm/time.c 13=Jun-2004 DS Moved to arch/arm/common b/c shared w/CLPS7500  */
unsigned long ioc_timer_gettimeoffset(void)
/* Changelog: 24-Sep-1996 RMK Created 10-Oct-1996 RMK Brought up to date with arch-sa110eval 04-Dec-1997 RMK Updated for new arch/arm/time.c 13=Jun-2004 DS Moved to arch/arm/common b/c shared w/CLPS7500  */
unsigned long ioc_timer_gettimeoffset(void)
{
	unsigned int count1, count2, status;
	long offset;
	ioc_writeb (0, IOC_T0LATCH);
	barrier ();
	count1 = ioc_readb(IOC_T0CNTL) | (ioc_readb(IOC_T0CNTH) << 8);
	barrier ();
	status = ioc_readb(IOC_IRQREQA);
	barrier ();
	ioc_writeb (0, IOC_T0LATCH);
	barrier ();
	count2 = ioc_readb(IOC_T0CNTL) | (ioc_readb(IOC_T0CNTH) << 8);
	offset = count2;
	if (count2 < count1) {
		if (status & (1 << 5))
			offset -= LATCH;
	} else if (count2 > count1) {
		offset -= LATCH;
	}
	offset = (LATCH - offset) * (tick_nsec / 1000);
	return (offset + LATCH/2) / LATCH;
}