SYSCTL_CLKD_MAX
if (dsor > SYSCTL_CLKD_MAX)
dsor = SYSCTL_CLKD_MAX;
return clk_get_rate(pltfm_host->clk) / SYSCTL_CLKD_MAX;