Re: port-sgimips/60204: sgimips: arcbios calls require FPU to be enabled

[Adrian Chadd <adrian%freebsd.org@localhost>]

The reason why I enable/disable the FPU the way I did it is because my
/guess/ is the original FPU change from maya@ was to leave the FPU
disabled in the kernel during early boot regardless of what
configuration it was in from the hand-off from the boot firmware.

Thus I figured it would make most sense to keep that assumption and
just explicitly enable and re-disable the FPU around arcbios calls.

i don't know if k0 is guaranteed to be untouched by the arcbios code
present on all systems, nor the contents of COP_0_STATUS, so I'm just
being conservative.


-adrian