-
CONFIG_XTENSA_TIMER_ID
¶
System timer CCOMPAREn register index
Type: int
Help¶
Index of the CCOMPARE register (and associated interrupt) used for the system timer. Xtensa CPUs have hard-configured interrupt priorities associated with each timer, and some of them can be unmaskable (and thus not usable by OS code that need synchronization, like the timer subsystem!). Choose carefully. Generally you want the timer with the highest priority maskable interrupt.
Defaults¶
- 1 if
XTENSA_TIMER
Kconfig definition¶
At drivers/timer/Kconfig:158
Included via Kconfig:10
→ Kconfig.zephyr:35
→ drivers/Kconfig:26
Menu path: (top menu) → Device Drivers → Timer Drivers
config XTENSA_TIMER_ID int prompt "System timer CCOMPAREn register index" ifXTENSA_TIMER
default 1 ifXTENSA_TIMER
depends onXTENSA_TIMER
help Index of the CCOMPARE register (and associated interrupt) used for the system timer. Xtensa CPUs have hard-configured interrupt priorities associated with each timer, and some of them can be unmaskable (and thus not usable by OS code that need synchronization, like the timer subsystem!). Choose carefully. Generally you want the timer with the highest priority maskable interrupt.
(Definitions include propagated dependencies, including from if’s and menus.)