/* On PowerPC we implement it using the timebase register.  */
unsigned long post_time_ms(unsigned long base)
/* On PowerPC we implement it using the timebase register.  */
unsigned long post_time_ms(unsigned long base)
{
	return (unsigned long)get_ticks() / (get_tbclk() / CONFIG_SYS_HZ) - base;
}