From 33636e983d6836bc93a8f9a58142fe2b8c8aa17b Mon Sep 17 00:00:00 2001
From: Indan Zupancic <indan@nul.nu>
Date: Sun, 14 Dec 2025 01:47:27 +0000
Subject: [PATCH] Cleanup: Use fpuRelease

Instead of doing exactly the same.

Signed-off-by: Indan Zupancic <indan@nul.nu>
---
 src/model/smp.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/model/smp.c b/src/model/smp.c
index 9006696db..07d95f921 100644
--- a/src/model/smp.c
+++ b/src/model/smp.c
@@ -23,9 +23,7 @@ void migrateTCB(tcb_t *tcb, word_t new_core)
      * is not necessarily the core, that we are now running on), then release
      * that cores's FPU.
      */
-    if (nativeThreadUsingFPU(tcb)) {
-        switchFpuOwner(NULL, tcb->tcbAffinity);
-    }
+    fpuRelease(tcb);
 #endif /* CONFIG_HAVE_FPU */
     tcb->tcbAffinity = new_core;
 #ifdef CONFIG_DEBUG_BUILD