The latest development version of this page may be more current than this released 2.7.5 version.

CONFIG_TLB_IPI_VECTOR

IDT vector to use for TLB shootdown IPI

Type: int

Direct dependencies

SMP && X86_64 && X86

(Includes any dependencies from ifs and menus.)

Default

  • 35

Kconfig definition

At arch/x86/core/Kconfig.intel64:46

Included via Kconfig:8 → Kconfig.zephyr:39 → arch/Kconfig:12 → arch/x86/Kconfig:483

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 on SMP && X86_64 && X86

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