FCSR_FMASK
#if FCSR_FMASK == 0
return __SHIFTOUT(fcsr_read(), FCSR_FMASK);
return __SHIFTOUT(fcsr_fmask_write(__SHIFTIN(mask, FCSR_MASK)), FCSR_FMASK);