A textually small nit for r351100 is that %ju normally goes with a
(uintmax_t) cast, so more like:
debugf(sc->dev, "Bus clock is at %ju\n", (uintmax_t)clk);
%ju need not match up with uint64_t from:
uint64_t clk;
===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)