copyin_nosmap_std
int copyin_nosmap_std(const void *udaddr, void *kaddr, size_t len);
return (copyin_nosmap_std);