Index: kernel/arch/amd64/src/fpu_context.c
===================================================================
--- kernel/arch/amd64/src/fpu_context.c	(revision 530166281bc100e872a359ece46412bab839f7ea)
+++ kernel/arch/amd64/src/fpu_context.c	(revision 24c394bae45fe03d1b2a32ee9ceb604523736d7f)
@@ -41,5 +41,5 @@
 	asm volatile (
 		"fxsave %[fctx]\n"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }
@@ -50,5 +50,5 @@
 	asm volatile (
 		"fxrstor %[fctx]\n"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }
Index: kernel/arch/ia32/src/fpu_context.c
===================================================================
--- kernel/arch/ia32/src/fpu_context.c	(revision 530166281bc100e872a359ece46412bab839f7ea)
+++ kernel/arch/ia32/src/fpu_context.c	(revision 24c394bae45fe03d1b2a32ee9ceb604523736d7f)
@@ -72,5 +72,5 @@
 	asm volatile (
 		"fnsave %[fctx]"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }
@@ -80,5 +80,5 @@
 	asm volatile (
 		"frstor %[fctx]"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }
@@ -88,5 +88,5 @@
 	asm volatile (
 		"fxsave %[fctx]"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }
@@ -96,5 +96,5 @@
 	asm volatile (
 		"fxrstor %[fctx]"
-		: [fctx] "=m" (*fctx)
+		: [fctx] "=m" (fctx->fpu)
 	);
 }