Lines Matching full:w32
181 void set_mxcsr ( UInt w32 )183 if (0) printf("set %08x\n", w32);184 ULong w64 = (ULong)w32;