get_tclk_armada38x
&get_tclk_armada38x,
tclk = get_tclk_armada38x();
uint32_t get_tclk_armada38x(void);