#include #include #include #include "soft-fp.h" int mffs(u32 *frD) { frD[1] = __FPU_FPSCR; #ifdef DEBUG printk("%s: frD %p: %08x.%08x\n", __FUNCTION__, frD, frD[0], frD[1]); #endif return 0; }