copyout_le32_with_mask
copyout_le32_with_mask(udaddr32++, data, mask, ds_msr);
copyout_le32_with_mask(udaddr32, data, mask, ds_msr);