get_tclk
sc->wdt_config->wdt_clock_src = get_tclk();
freq = cpu_to_fdt32(get_tclk());
if (soc_decode_win_spec->get_tclk != NULL)
return soc_decode_win_spec->get_tclk();
get_t get_tclk;
printf(", TClock %dMHz", get_tclk() / 1000 / 1000);
uint32_t get_tclk(void);
sc->config->clock_src = get_tclk();
sc->clk_freq = get_tclk();