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