RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

SMP: Fixup compilation error

Browse Source 
#1065 introduces a compilation error from refactoring.
Also apply some missed feedback from #1065 

Signed-off-by: Kent McLeod <kent-mcleod@users.noreply.github.com>
This commit is contained in:
Kent McLeod
2023-06-21 09:47:34 +10:00
committed by Kent McLeod
parent 3c180701ee
commit 49f4ddfc8c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/model/smp.c
View File

@@ -18,10 +18,10 @@ void migrateTCB(tcb_t *tcb, word_t new_core)
#ifdef CONFIG_HAVE_FPU
/* If the thread owns the FPU of the core it is currently running on (which
* is not necessarily the core, that we are now running on), then release
* this cores's FPU.
* that cores's FPU.
*/
if (nativeThreadUsingFPU(thread)) {
switchFpuOwner(NULL, thread->tcbAffinity);
if (nativeThreadUsingFPU(tcb)) {
switchFpuOwner(NULL, tcb->tcbAffinity);
}
#endif /* CONFIG_HAVE_FPU */
tcb->tcbAffinity = new_core;