SD-Card driver modification for Zynq questions

Wed Sep 28 21:01:12 UTC 2016

> On Sep 28, 2016, at 7:16 AM, Thomas Skibo via freebsd-arm <freebsd-arm at freebsd.org> wrote:
> 
> 
> Why not just set max-frequency to 200Mhz in the DTS file entry?

From quick glance it’s not going to help. Slot’s max_clk is set to that value but then it’s
overwritten in sdhci_init_slot by value obtained from register.  We need to fix it and also
add tunable for non-fdt systems.   