The latest development version of this page may be more current than this released 1.14.1 version.
CONFIG_HPET_TIMER_IRQ_PRIORITY

HPET Timer IRQ Priority

Type: int

Help

This option specifies the IRQ priority used by the HPET timer.

Direct dependencies

HPET_TIMER

(Includes any dependencies from if’s and menus.)

Defaults

Kconfig definition

At drivers/timer/Kconfig:37

Included via Kconfig:10 → Kconfig.zephyr:35 → drivers/Kconfig:26

Menu path: (top menu) → Device Drivers → Timer Drivers → HPET timer

config HPET_TIMER_IRQ_PRIORITY
    int
    prompt "HPET Timer IRQ Priority" if HPET_TIMER
    default 4 if HPET_TIMER
    depends on HPET_TIMER
    help
      This option specifies the IRQ priority used by the HPET timer.

(Definitions include propagated dependencies, including from if’s and menus.)