michaelh/zephyr
1
0
Fork 0
Code Releases Activity

kernel/sched: only send IPI to abort thread if hardware supports it

Browse source 
Wrap arch_sched_ipi() call in z_thread_abort() with ifdef checking for
hardware support of IPI.

Fixes #32723

Signed-off-by: Lauren Murphy <lauren.murphy@intel.com>
This commit is contained in:
Lauren Murphy 2021-03-09 16:41:43 -06:00 • committed by Anas Nashif
commit d88ce65463
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
kernel/sched.c
View file

@ -1497,7 +1497,10 @@ void z_thread_abort(struct k_thread *thread)
if (active) { if (active) {
/* It's running somewhere else, flag and poke */ /* It's running somewhere else, flag and poke */
thread->base.thread_state |= _THREAD_ABORTING; thread->base.thread_state |= _THREAD_ABORTING;
#ifdef CONFIG_SCHED_IPI_SUPPORTED
arch_sched_ipi(); arch_sched_ipi();
#endif
} }
if (is_aborting(thread) && thread != _current) { if (is_aborting(thread) && thread != _current) {