59c59
< Process *p, ThreadContext *tc);
---
> ThreadContext *tc);
71c71
< Process*, ThreadContext*);
---
> ThreadContext*);
101,102c101
< void doSyscall(int callnum, Process *proc, ThreadContext *tc,
< Fault *fault);
---
> void doSyscall(int callnum, ThreadContext *tc, Fault *fault);