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