only do_syscall needs to care about SYSCALL_OFFSET