TIMEX_ROLEX_FPU_MASK
if (fpu_type_flags & TIMEX_ROLEX_FPU_MASK) {
if (ra == 0x20 &&(fpu_type_flags & TIMEX_ROLEX_FPU_MASK)) {