make get_syscall_entry take SYSCALL_OFFSET into account.