copyinstr         170 kernel/defs.h  int             copyinstr(pagetable_t, uint64, char *, uint64, uint64);
copyinstr          29 kernel/syscall.c   if (copyinstr(p->pagetable, p->sz, buf, addr, max) < 0)