--- /dev/null
+/* $NetBSD: ieeefp.h,v 1.9 2011/03/27 05:13:15 mrg Exp $ */\r
+/** @file\r
+*\r
+* Copyright (c) 2013 - 2014, ARM Limited. All rights reserved.\r
+*\r
+* This program and the accompanying materials\r
+* are licensed and made available under the terms and conditions of the BSD License\r
+* which accompanies this distribution. The full text of the license may be found at\r
+* http://opensource.org/licenses/bsd-license.php\r
+*\r
+* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+/*\r
+ * Written by J.T. Conklin, Apr 6, 1995\r
+ * Public domain.\r
+ */\r
+\r
+#ifndef _IEEEFP_H_\r
+#define _IEEEFP_H_\r
+\r
+#include <sys/cdefs.h>\r
+#include <machine/ieeefp.h>\r
+\r
+__BEGIN_DECLS\r
+typedef fp_rnd fp_rnd_t;\r
+#ifdef _X86_IEEEFP_H_ /* XXX */\r
+typedef fp_prec fp_prec_t;\r
+#endif\r
+typedef fp_except fp_except_t;\r
+\r
+fp_rnd_t fpgetround(void);\r
+fp_rnd_t fpsetround(fp_rnd_t);\r
+#ifdef _X86_IEEEFP_H_ /* XXX */\r
+fp_prec_t fpgetprec(void);\r
+fp_prec_t fpsetprec(fp_prec_t);\r
+#endif\r
+fp_except_t fpgetmask(void);\r
+fp_except_t fpsetmask(fp_except_t);\r
+fp_except_t fpgetsticky(void);\r
+fp_except_t fpsetsticky(fp_except_t);\r
+fp_except_t fpresetsticky(fp_except_t);\r
+__END_DECLS\r
+\r
+#endif /* _IEEEFP_H_ */\r