-
CONFIG_TLB_IPI_VECTOR
¶
IDT vector to use for TLB shootdown IPI
Type: int
Default¶
35
Kconfig definition¶
At <Zephyr>/arch/x86/core/Kconfig.intel64:46
Included via <Zephyr>/Kconfig:8
→ <Zephyr>/Kconfig.zephyr:29
→ <Zephyr>/arch/Kconfig:12
→ <Zephyr>/arch/x86/Kconfig:328
Menu path: (Top) → X86 Architecture Options
config TLB_IPI_VECTOR int "IDT vector to use for TLB shootdown IPI" range 33 255 default 35 depends onSMP
&&X86_64
&&X86
(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)