userdest           68 kern/include/copyinout.h int copyout(const void *src, userptr_t userdest, size_t len);
userdest           70 kern/include/copyinout.h int copyoutstr(const char *src, userptr_t userdest, size_t len, size_t *got);
userdest          189 kern/vm/copyinout.c copyout(const void *src, userptr_t userdest, size_t len)
userdest          194 kern/vm/copyinout.c 	result = copycheck(userdest, len, &stoplen);
userdest          211 kern/vm/copyinout.c 	memcpy((void *)userdest, src, len);
userdest          299 kern/vm/copyinout.c copyoutstr(const char *src, userptr_t userdest, size_t len, size_t *actual)
userdest          304 kern/vm/copyinout.c 	result = copycheck(userdest, len, &stoplen);
userdest          317 kern/vm/copyinout.c 	result = copystr((char *)userdest, src, len, stoplen, actual);