CONFIG_SCHED_IPI_VECTOR¶
IDT vector to use for scheduler IPI
Type: int
Default¶
- 34 
Kconfig definition¶
At <Zephyr Architecture>/x86/core/Kconfig.intel64:40
Included via Kconfig:8 → Kconfig.zephyr:39 → <Zephyr Architecture>/Kconfig:12 → <Zephyr Architecture>/x86/Kconfig:483
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.)