:orphan:

.. title:: TLB_IPI_VECTOR

.. option:: CONFIG_TLB_IPI_VECTOR

*IDT vector to use for TLB shootdown IPI*

Type: ``int``

Direct dependencies
===================

\ :option:`SMP <CONFIG_SMP>` && \ :option:`X86_64 <CONFIG_X86_64>` && \ :option:`X86 <CONFIG_X86>`

*(Includes any dependencies from ifs and menus.)*

Default
=======

- 35

Kconfig definition
==================

.. highlight:: kconfig

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

Included via ``Kconfig:8`` → ``Kconfig.zephyr:29`` → ``arch/Kconfig:12`` → ``arch/x86/Kconfig:320``

Menu path: (Top) → X86 Architecture Options

.. parsed-literal::

    config TLB_IPI_VECTOR
    	int "IDT vector to use for TLB shootdown IPI"
    	range 33 255
    	default 35
    	depends on \ :option:`SMP <CONFIG_SMP>` && \ :option:`X86_64 <CONFIG_X86_64>` && \ :option:`X86 <CONFIG_X86>`

*(The 'depends on' condition includes propagated dependencies from ifs and menus.)*