Home | History | Annotate | Download | only in mpc85xx

Lines Matching defs:e500_sys_clk

169 static uint64_t e500_sys_clk = SYS_CLK;
175 static uint64_t e500_sys_clk = 33333333; /* 33.333333Mhz */
190 static uint64_t e500_sys_clk;
193 static uint64_t e500_sys_clk = 66666667; /* 66.666667Mhz */
640 		comcnfreq = e500_sys_clk * plat_ratio;
1165 		e500_sys_clk *= 2;
1173 	e500_sys_clk = pixis_spd_map[PX_SPD_SYSCLK_GET(pixis_spd)];
1180 	printf(" sys_clk=%"PRIu64, e500_sys_clk);
1422 	uint64_t ccb_freq = e500_sys_clk * plat_ratio;
1475 	board_info_add_number("pci-frequency", e500_sys_clk);