linux/drivers/clocksource/Kconfig
<<
>>
Prefs
   1config CLKSRC_I8253
   2        bool
   3
   4config CLKEVT_I8253
   5        bool
   6
   7config I8253_LOCK
   8        bool
   9
  10config CLKBLD_I8253
  11        def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
  12
  13config CLKSRC_MMIO
  14        bool
  15
  16config DW_APB_TIMER
  17        bool
  18
  19config DW_APB_TIMER_OF
  20        bool
  21
  22config ARMADA_370_XP_TIMER
  23        bool
  24
  25config CLKSRC_DBX500_PRCMU
  26        bool "Clocksource PRCMU Timer"
  27        depends on UX500_SOC_DB8500
  28        default y
  29        help
  30          Use the always on PRCMU Timer as clocksource
  31
  32config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
  33        bool "Clocksource PRCMU Timer sched_clock"
  34        depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
  35        default y
  36        help
  37          Use the always on PRCMU Timer as sched_clock
  38
  39config CLKSRC_ARM_GENERIC
  40        def_bool y if ARM64
  41        help
  42          This option enables support for the ARM generic timer.
  43
lxr.linux.no kindly hosted by Redpill Linpro AS, provider of Linux consulting and operations services since 1995.