CONFIG_SCHED_IPI_SUPPORTED

Architecture supports broadcast interprocessor interrupts

Type: bool

Help

True if the architecture supports a call to z_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:719

Included via Kconfig:10Kconfig.zephyr:31

Menu path: (top menu) → General Kernel Options → SMP Options

config SCHED_IPI_SUPPORTED
    bool
    prompt "Architecture supports broadcast interprocessor interrupts"
    help
      True if the architecture supports a call to
      z_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).

(Definitions include propagated dependencies, including from if’s and menus.)