CONFIG_SCHED_IPI_SUPPORTED

Architecture supports broadcast interprocessor interrupts

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

No defaults. Implicitly defaults to n.

Symbols that select this symbol

Kconfig definition

At kernel/Kconfig:727

Included via Kconfig:8Kconfig.zephyr:33

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

config SCHED_IPI_SUPPORTED
    bool "Architecture supports broadcast interprocessor interrupts"
    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.)