83c83,84
< void argsInit(int pageSize);
---
> void argsInit(int pageSize,
> std::vector<AuxVector<IntType> > extraAuxvs);
116a118,127
> class VSyscallPage
> {
> public:
> Addr base;
> Addr size;
> Addr vsyscallOffset;
> Addr vsysexitOffset;
> };
> VSyscallPage vsyscallPage;
>
120a132
> void syscall(int64_t callnum, ThreadContext *tc);