208,210d207
< #else
< /** Calls a syscall. */
< void syscall(int64_t callnum);
212a210,212
> /** Emulates a syscall. */
> void syscall(int64_t callnum);
>