26c26
< * $FreeBSD: head/sys/ia64/include/ia64_cpu.h 96912 2002-05-19 04:42:19Z marcel $
---
> * $FreeBSD: head/sys/ia64/include/ia64_cpu.h 117499 2003-07-13 04:08:16Z marcel $
400c400,404
< #endif
---
> static __inline void
> ia64_disable_highfp(void)
> {
> __asm __volatile("ssm psr.dfh;; srlz.d");
> }
401a406,413
> static __inline void
> ia64_enable_highfp(void)
> {
> __asm __volatile("rsm psr.dfh;; srlz.d");
> }
>
> #endif /* !LOCORE */
>