exynos5422_clock_print
static void exynos5422_clock_print(struct exynos5422_clock_softc *,
exynos5422_clock_print(sc, &exynos5422_clocks[n]);