CONFIG_SCHED_IPI_SUPPORTED

(No prompt – not directly user assignable.)

Type: bool

Help

True if the architecture supports a call to arch_sched_ipi() to broadcast an interrupt that will call z_sched_ipi() on other CPUs in the system. Required for k_thread_abort() to operate with reasonable latency (otherwise we might have to wait for the other thread to take an interrupt, which can be arbitrarily far in the future).

Symbols that select this symbol

Kconfig definitions

At <Zephyr>/soc/xtensa/intel_adsp/cavs_v15/Kconfig.defconfig.series:76

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:25<BuildDir>/Kconfig/Kconfig.soc.defconfig:1<Zephyr>/soc/xtensa/intel_adsp/Kconfig.defconfig:6

Menu path: (Top)

config SCHED_IPI_SUPPORTED
    bool
    default y if IPM_CAVS_IDC
    depends on SMP && SOC_SERIES_INTEL_CAVS_V15

At <Zephyr>/soc/xtensa/intel_adsp/cavs_v18/Kconfig.defconfig.series:77

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:25<BuildDir>/Kconfig/Kconfig.soc.defconfig:1<Zephyr>/soc/xtensa/intel_adsp/Kconfig.defconfig:6

Menu path: (Top)

config SCHED_IPI_SUPPORTED
    bool
    default y if IPM_CAVS_IDC
    depends on SMP && SOC_SERIES_INTEL_CAVS_V18

At <Zephyr>/soc/xtensa/intel_adsp/cavs_v20/Kconfig.defconfig.series:76

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:25<BuildDir>/Kconfig/Kconfig.soc.defconfig:1<Zephyr>/soc/xtensa/intel_adsp/Kconfig.defconfig:6

Menu path: (Top)

config SCHED_IPI_SUPPORTED
    bool
    default y if IPM_CAVS_IDC
    depends on SMP && SOC_SERIES_INTEL_CAVS_V20

At <Zephyr>/soc/xtensa/intel_adsp/cavs_v25/Kconfig.defconfig.series:76

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:25<BuildDir>/Kconfig/Kconfig.soc.defconfig:1<Zephyr>/soc/xtensa/intel_adsp/Kconfig.defconfig:6

Menu path: (Top)

config SCHED_IPI_SUPPORTED
    bool
    default y if IPM_CAVS_IDC
    depends on SMP && SOC_SERIES_INTEL_CAVS_V25

At <Zephyr>/soc/xtensa/intel_s1000/Kconfig.defconfig:47

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:25<BuildDir>/Kconfig/Kconfig.soc.defconfig:1

Menu path: (Top)

config SCHED_IPI_SUPPORTED
    bool
    default y if IPM_CAVS_IDC
    depends on SMP && SOC_INTEL_S1000

At <Zephyr>/kernel/Kconfig:817

Included via <Zephyr>/Kconfig:8<Zephyr>/Kconfig.zephyr:30

Menu path: (Top) → General Kernel Options → SMP Options

config SCHED_IPI_SUPPORTED
    bool
    help
      True if the architecture supports a call to
      arch_sched_ipi() to broadcast an interrupt that will call
      z_sched_ipi() on other CPUs in the system.  Required for
      k_thread_abort() to operate with reasonable latency
      (otherwise we might have to wait for the other thread to
      take an interrupt, which can be arbitrarily far in the
      future).

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