-
CONFIG_SCHED_IPI_VECTOR
¶
IDT vector to use for scheduler IPI
Type: int
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 onSMP
&&X86_64
&&X86
(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)