bcm_kona          206 drivers/clocksource/bcm_kona_timer.c TIMER_OF_DECLARE(bcm_kona, "bcm,kona-timer", kona_timer_init);
bcm_kona          133 drivers/watchdog/bcm_kona_wdt.c DEFINE_SHOW_ATTRIBUTE(bcm_kona);