44a45
> #if FULL_SYSTEM
49a51,56
> uint64_t readfile(ThreadContext *tc, Addr vaddr, uint64_t len,
> uint64_t offset);
> void loadsymbol(ThreadContext *xc);
> void addsymbol(ThreadContext *tc, Addr addr, Addr symbolAddr);
> #endif
>
52d58
< void loadsymbol(ThreadContext *xc);
57,58d62
< uint64_t readfile(ThreadContext *tc, Addr vaddr, uint64_t len,
< uint64_t offset);
61d64
< void addsymbol(ThreadContext *tc, Addr addr, Addr symbolAddr);
63c66
< /* namespace PsuedoInst */ }
---
> /* namespace PseudoInst */ }