clocksource_dbx500_prcmu   44 drivers/clocksource/clksrc-dbx500-prcmu.c static struct clocksource clocksource_dbx500_prcmu = {
clocksource_dbx500_prcmu   69 drivers/clocksource/clksrc-dbx500-prcmu.c 	return clocksource_register_hz(&clocksource_dbx500_prcmu, RATE_32K);