CONFIG_HPET_TIMER_IRQ_PRIORITY

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

Symbol:

HPET_TIMER_IRQ_PRIORITY

Type:

int

Value:

“”

User value:

(no user value)

Visibility:

“n”

Is choice item:

false

Is defined:

true

Is from env.:

false

Is special:

false

Prompts:
  • “HPET Timer IRQ Priority” if HPET_TIMER (value: “n”)
Default values:
  • 4 (value: “n”)
  • Condition: HPET_TIMER (value: “n”)
Selects:

(no selects)

Reverse (select-related) dependencies:
 

(no reverse dependencies)

Additional dependencies from enclosing menus and ifs:
 

(no additional dependencies)

Locations:
  • ../drivers/timer/Kconfig:63