copyin_byte
*kdaddr8++ = copyin_byte(usaddr8++, ds_msr);
*valp = copyin_byte(vusaddr, mfmsr() | PSL_DS);