|  | 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_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) | 
|  | default y | 
|  | help | 
|  | Use the always on PRCMU Timer as sched_clock |