Symbol: copyout_uint32
sys/arch/powerpc/booke/copyout.c
278
copyout_uint32(udaddr32++, *ksaddr32++, ds_msr);
sys/arch/powerpc/booke/copyout.c
297
copyout_uint32(udaddr32++, *ksaddr32++, ds_msr);
sys/arch/powerpc/booke/copyout.c
348
copyout_uint32(vusaddr, val, mfmsr() | PSL_DS);