Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision fd9b5241b956ae00298c87d393f481cf1d8a329a)
+++ libcfa/src/concurrency/kernel.cfa	(revision 74f5c83d14f72ec2c500b54de4c328d2ca0bb5f0)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jul  9 06:22:54 2020
-// Update Count     : 66
+// Last Modified On : Fri Aug 14 15:23:00 2020
+// Update Count     : 69
 //
 
@@ -74,6 +74,22 @@
 		)
 
-
 #elif defined( __ARM_ARCH )
+	#define __x87_store		 \
+		uint32_t __fpcntl[2];    \
+		__asm__ volatile (    \
+			"mrs x9, FPCR\n" \
+			"mrs x10, FPSR\n"  \
+			"stp x9, x10, %0\n"  \
+			: "=m" (__fpcntl) : : "x9", "x10" \
+		)
+
+	#define __x87_load         \
+		__asm__ volatile (    \
+			"ldp x9, x10, %0\n"  \
+			"msr FPSR, x10\n"  \
+			"msr FPCR, x9\n" \
+		: "=m" (__fpcntl) : : "x9", "x10" \
+		)
+
 #else
 	#error unknown hardware architecture