/* * vfs_copyinfh_alloc: allocate and copyin a filehandle, given * the needed size. */