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

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).

Defaults¶

y if IPM_CAVS_IDC
y if IPM_CAVS_IDC

Symbols that select this symbol¶

Kconfig definitions¶

At soc/xtensa/intel_apl_adsp/Kconfig.defconfig:78

Included via Kconfig:8 → Kconfig.zephyr:25

Menu path: (Top)

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

At soc/xtensa/intel_s1000/Kconfig.defconfig:43

Included via Kconfig:8 → Kconfig.zephyr:25

Menu path: (Top)

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

At kernel/Kconfig:747

Included via Kconfig:8 → 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.)