config CLKSRC_I8253	bool config CLKEVT_I8253	bool config I8253_LOCK	bool config CLKBLD_I8253	def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK config CLKSRC_MMIO	bool config DW_APB_TIMER	bool config CLKSRC_DBX500_PRCMU	bool "Clocksource PRCMU Timer"	depends on UX500_SOC_DB5500 || UX500_SOC_DB8500	default y	help	  Use the always on PRCMU Timer as clocksource config CLKSRC_DBX500_PRCMU_SCHED_CLOCK	bool "Clocksource PRCMU Timer sched_clock"	depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)	select HAVE_SCHED_CLOCK	default y	help	  Use the always on PRCMU Timer as sched_clock