89a90,95
> inline Fault checkFpEnableFault(%(CPU_exec_context)s *xc)
> {
> //@TODO: Implement correct CP0 checks to see if the CP1
> // unit is enable or not
> return NoFault;
> }
148c154
< cpu->tcBase()->setFloatRegBits(FCSR, genInvalidVector(fcsr_bits));
---
> cpu->tcBase()->setFloatRegOperandBits(FCSR, genInvalidVector(fcsr_bits));
162a169
> // TODO: Use utility function here