Searched refs:e500_sys_clk (Results 1 – 1 of 1) sorted by relevance
169 static uint64_t e500_sys_clk = SYS_CLK; variable175 static uint64_t e500_sys_clk = 33333333; /* 33.333333Mhz */ variable190 static uint64_t e500_sys_clk; variable193 static uint64_t e500_sys_clk = 66666667; /* 66.666667Mhz */ variable640 comcnfreq = e500_sys_clk * plat_ratio; in consinit()1165 e500_sys_clk *= 2; in initppc()1173 e500_sys_clk = pixis_spd_map[PX_SPD_SYSCLK_GET(pixis_spd)]; in initppc()1180 printf(" sys_clk=%"PRIu64, e500_sys_clk); in initppc()1422 uint64_t ccb_freq = e500_sys_clk * plat_ratio; in cpu_startup()1475 board_info_add_number("pci-frequency", e500_sys_clk); in cpu_startup()