| commit | d82f76a0bb2a7e42519e167ce1eab9eae16f6a45 | [log] [tgz] |
|---|---|---|
| author | Andy Ross <andrew.j.ross@intel.com> | Tue Aug 27 08:53:27 2019 -0700 |
| committer | Anas Nashif <anas.nashif@intel.com> | Thu Sep 26 16:54:06 2019 -0400 |
| tree | a6fc9f95bf3a57a124e99104a6b2958b58dcdd02 | |
| parent | bab348e9157c23e7b079cc53b2f08f7b1ad24712 [diff] |
kernel/sched: Don't make an IPI if we don't need it If an architecture declares support for IPI, we still want to use it only when running in SMP mode. (This also fixes a build failure on ARC, which declares CONFIG_SCHED_IPI_SUPPORTED but doesn't actually implement z_arch_sched_ipi() yet). Signed-off-by: Andy Ross <andrew.j.ross@intel.com>