userptr           118 kern/vm/copyinout.c copycheck(const_userptr_t userptr, size_t len, size_t *stoplen)
userptr           124 kern/vm/copyinout.c 	bot = (vaddr_t) userptr;