Add ia64_set_fpsr().

2001-10-21 14:00:59 +00:00 · 2001-10-21 14:00:59 +00:00 · 0e3e05fd5d
commit 0e3e05fd5d
parent 3a9c8cf20b
1 changed files with 9 additions and 0 deletions
--- a/sys/ia64/include/ia64_cpu.h
+++ b/sys/ia64/include/ia64_cpu.h
@ -246,6 +246,15 @@ ia64_get_psr(void)
 	return result;
 }

+/*
+ * Set the value of ar.fpsr
+ */
+static __inline void
+ia64_set_fpsr(u_int64_t v)
+{
+	__asm __volatile("mov ar.fpsr=%0" :: "r" (v));
+}
+
 /*
 * Read the value of ar.k0.
 */