kaddr              74 bsp/hal/ppc/arch/cpu.c copyin(const void *uaddr, void *kaddr, size_t len)
kaddr              78 bsp/hal/ppc/arch/cpu.c 		memcpy(kaddr, uaddr, len);
kaddr              85 bsp/hal/ppc/arch/cpu.c copyout(const void *kaddr, void *uaddr, size_t len)
kaddr              89 bsp/hal/ppc/arch/cpu.c 		memcpy(uaddr, kaddr, len);
kaddr              96 bsp/hal/ppc/arch/cpu.c copyinstr(const void *uaddr, void *kaddr, size_t len)
kaddr             100 bsp/hal/ppc/arch/cpu.c 		strlcpy(kaddr, uaddr, len);