49,53d48
< void CopyOut(ThreadContext *tc, void *dst, Addr src, size_t len);
< void CopyIn(ThreadContext *tc, Addr dst, void *src, size_t len);
< void CopyStringOut(ThreadContext *tc, char *dst, Addr vaddr, size_t maxlen);
< void CopyStringIn(ThreadContext *tc, char *src, Addr vaddr);
<