Searched refs:system_clk (Results 1 – 4 of 4) sorted by relevance
210 uint32_t system_clk; in display_system_clock() local213 err = picldiag_get_clock_freq(plafh, &system_clk); in display_system_clock()218 "System clock frequency: %d MHZ\n"), system_clk); in display_system_clock()
762 uint32_t system_clk; in display_system_clock() local765 err = picldiag_get_clock_freq(plafh, &system_clk); in display_system_clock()769 log_printf(SYSCLK_FREQ_MSG, system_clk); in display_system_clock()
844 uint32_t system_clk; in display_system_clock() local847 err = picldiag_get_clock_freq(plafh, &system_clk); in display_system_clock()851 log_printf(SYSCLK_FREQ_MSG, system_clk); in display_system_clock()
794 uint32_t system_clk; in display_system_clock() local797 err = picldiag_get_clock_freq(plafh, &system_clk); in display_system_clock()801 log_printf(SYSCLK_FREQ_MSG, system_clk); in display_system_clock()