--- wikisrc/users/leot/aarch64_problems.mdwn	2018/07/23 21:25:42	1.5
+++ wikisrc/users/leot/aarch64_problems.mdwn	2018/07/23 21:32:12	1.6
@@ -121,3 +121,11 @@ Doing a (please note that also `python36
     fpsr           0x3000000        50331648
     fpcr           0x10     16
     (gdb) quit
+
+...and `_cffi_restore_errno` and `_cffi_save_errno` are defined in
+`cffi/_cffi_include.h` as follows:
+
+    #define _cffi_restore_errno                                              \
+        ((void(*)(void))_cffi_exports[13])
+    #define _cffi_save_errno                                                 \
+        ((void(*)(void))_cffi_exports[14])