244c244
< syscall(int64_t callnum) override
---
> syscall(int64_t callnum, Fault *fault) override
249c249
< thread.syscall(callnum);
---
> thread.syscall(callnum, fault);