/* Returns number of us since last clock interrupt. Note that interrupts will have been disabled by do_gettimeoffset()  */
static unsigned long pnx4008_gettimeoffset(void)
/* Returns number of us since last clock interrupt. Note that interrupts will have been disabled by do_gettimeoffset()  */
static unsigned long pnx4008_gettimeoffset(void)
{
	u32 ticks_to_match =
	    __raw_readl(HSTIM_MATCH0) - __raw_readl(HSTIM_COUNTER);
	u32 elapsed = LATCH - ticks_to_match;
	return (elapsed * (tick_nsec / 1000)) / LATCH;
}