CONFIG_SCHED_IPI_VECTOR

IDT vector to use for scheduler IPI

Type: int

Direct dependencies

SMP && X86_64 && X86

(Includes any dependencies from ifs and menus.)

Default

  • 34

Kconfig definition

At <Zephyr>/arch/x86/core/Kconfig.intel64:40

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:29<Zephyr>/arch/Kconfig:12<Zephyr>/arch/x86/Kconfig:327

Menu path: (Top) → X86 Architecture Options

config SCHED_IPI_VECTOR
    int "IDT vector to use for scheduler IPI"
    range 33 255
    default 34
    depends on SMP && X86_64 && X86

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)