+ float64 sc_fpregs[2]; /* room for two fp registers */
...
- int f_fpcntl[3]; - int f_fpregs[8*3]; + uint32_t f_fpcntl[3]; + float64 f_fpregs[8];
Surely these float64 uses are incorrect. The kernel uses 3*int at both of these places, which matches up with the 96-bit values in the regular m68k fpu. r~
