/* The HPT is free running from SB1250_HPT_VALUE down to 0 then starts over again.  */
static cycle_t sb1250_hpt_read(struct clocksource *cs)
/* The HPT is free running from SB1250_HPT_VALUE down to 0 then starts over again.  */
static cycle_t sb1250_hpt_read(struct clocksource *cs)
{
	unsigned int count;
	count = G_SCD_TIMER_CNT(__raw_readq(IOADDR(A_SCD_TIMER_REGISTER(SB1250_HPT_NUM, R_SCD_TIMER_CNT))));
	return SB1250_HPT_VALUE - count;
}