Symbol: copyin_word
sys/arch/powerpc/booke/copyin.c
199
*kdaddr32++ = copyin_word(usaddr32++, ds_msr);
sys/arch/powerpc/booke/copyin.c
250
*valp = copyin_word(vusaddr, mfmsr() | PSL_DS);