xadc_get_dclk_rate
return xadc_get_dclk_rate(xadc) / div / 26;
unsigned long clk_rate = xadc_get_dclk_rate(xadc);