/* initialize higher level parts of CPU like time base and timers  */
int cpu_init_r(void)
/* initialize higher level parts of CPU like time base and timers  */
int cpu_init_r(void)
{
	LEON2_regs *leon2 = (LEON2_regs *) LEON2_PREGS;
	leon2->Scaler_Counter = leon2->Scaler_Reload =
	    (((CONFIG_SYS_CLK_FREQ / 1000) + 500) / 1000) - 1;
	return (0);
}