this makes rkclock_get_frequency more like rkclock_set_frequency.
-/* $OpenBSD: rkclock.c,v 1.74 2023/04/18 05:27:04 dlg Exp $ */
+/* $OpenBSD: rkclock.c,v 1.75 2023/04/18 05:28:41 dlg Exp $ */
/*
* Copyright (c) 2017, 2018 Mark Kettenis <kettenis@openbsd.org>
*
clk = rkclock_lookup(sc, idx);
if (clk == NULL) {
- printf("%s: 0x%08x\n", __func__, idx);
+ printf("%s(%s, %u)\n", __func__, sc->sc_dev.dv_xname, idx);
return 0;
}