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)