Home | Sort by: relevance | last modified time | path |
/src/sys/arch/evbppc/mpc85xx/ | |
machdep.c | 169 static uint64_t e500_sys_clk = SYS_CLK; variable in typeref:typename:uint64_t 175 static uint64_t e500_sys_clk = 33333333; /* 33.333333Mhz */ variable in typeref:typename:uint64_t 190 static uint64_t e500_sys_clk; variable in typeref:typename:uint64_t 193 static uint64_t e500_sys_clk = 66666667; /* 66.666667Mhz */ variable in typeref:typename:uint64_t 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); [all...] |