-
CONFIG_HPET_TIMER_IRQ
¶
HPET Timer IRQ
Type: int
Help¶
This option specifies the IRQ used by the HPET timer.
Defaults¶
- 20 if
HPET_TIMER
Kconfig definition¶
At drivers/timer/Kconfig:44
Included via Kconfig:10
→ Kconfig.zephyr:29
→ drivers/Kconfig:26
Menu path: (top menu) → Device Drivers → Timer Drivers
config HPET_TIMER_IRQ int prompt "HPET Timer IRQ" ifHPET_TIMER
default 20 ifHPET_TIMER
depends onHPET_TIMER
help This option specifies the IRQ used by the HPET timer.
(Definitions include propagated dependencies, including from if’s and menus.)