ski_readin
extern ssize_t ski_readin(int fd, vaddr_t dest, size_t len);
archsw.arch_readin = ski_readin;