ski_copyout
extern ssize_t ski_copyout(const vaddr_t src, void *dest, size_t len);
archsw.arch_copyout = ski_copyout;