404a405,411
> #endif
>
> void
> syscall(int64_t callnum)
> {
> #if FULL_SYSTEM
> panic("Syscall emulation isn't available in FS mode.\n");
406c413
< void syscall(int64_t callnum) { thread->syscall(callnum); }
---
> thread->syscall(callnum);
407a415
> }