74c74
< void syscall(int64_t callnum, ThreadContext *tc, Fault *fault);
---
> virtual void syscall(int64_t callnum, ThreadContext *tc, Fault *fault);