0.7.5.13:
[sbcl.git] / src / runtime / ppc-linux-os.h
index e057ad3..28dad76 100644 (file)
@@ -7,4 +7,7 @@ static inline os_context_t *arch_os_get_context(void **void_context) {
   return (os_context_t *) *void_context;
 }
 
+unsigned long os_context_fp_control(os_context_t *context);
+void os_restore_fp_control(os_context_t *context);
+
 #endif /* _PPC_LINUX_OS_H */