copyinstr_nosmap
int copyinstr_nosmap(const void *udaddr, void *kaddr, size_t len,
copyinstr_smap : copyinstr_nosmap);